diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-15 23:37:22 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-15 23:37:22 +0100 |
commit | ac75c2d63125e27f486ebb984152c866ef17e677 (patch) | |
tree | e67adc5135e7222b2df58c573f6c4f9525ca384d /tmux | |
parent | d7913720128e48f07696565867f41c052d6e1f69 (diff) | |
download | dotfiles-ac75c2d63125e27f486ebb984152c866ef17e677.tar.gz dotfiles-ac75c2d63125e27f486ebb984152c866ef17e677.zip |
Fix slowdowns in coq-mode
Diffstat (limited to 'tmux')
-rw-r--r-- | tmux/.tmux.conf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tmux/.tmux.conf b/tmux/.tmux.conf index b39822f..91573cc 100644 --- a/tmux/.tmux.conf +++ b/tmux/.tmux.conf @@ -3,6 +3,10 @@ set -g status-bg magenta set -g status-fg white set -g status-position top +set-option -g history-limit 10000 + +set -g mouse on + unbind C-b set -g prefix C-o bind C-o send-prefix |