From ac75c2d63125e27f486ebb984152c866ef17e677 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 15 Oct 2021 23:37:22 +0100 Subject: Fix slowdowns in coq-mode --- tmux/.tmux.conf | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'tmux') 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 -- cgit