Fix slowdowns in coq-mode

3 files changed, 24 insertions, 0 deletions

diff --git a/doom/config.el b/doom/config.el
index 805a820..d38f9e6 100644
--- a/doom/config.el
+++ b/doom/config.el
@@ -556,6 +556,10 @@
       coq-compile-keep-going nil
       coq-compile-quick 'no-quick)
 
+;; Removes performance problems with opening coq files.
+(after! core-editor
+  (add-to-list 'doom-detect-indentation-excluded-modes 'coq-mode))
+
 (setq coq-may-use-prettify nil
       company-coq-prettify-symbols nil)
 
diff --git a/doom/custom.el b/doom/custom.el
new file mode 100644
index 0000000..838f4cb
--- /dev/null
+++ b/doom/custom.el
@@ -0,0 +1,16 @@
+(custom-set-variables
+ ;; custom-set-variables was added by Custom.
+ ;; If you edit it by hand, you could mess it up, so be careful.
+ ;; Your init file should contain only one such instance.
+ ;; If there is more than one, they won't work right.
+ '(custom-safe-themes
+   '("d6da24347c813d1635a217d396cf1e3be26484fd4d05be153f3bd2b293d2a0b5" "0568a5426239e65aab5e7c48fa1abde81130a87ddf7f942613bf5e13bf79686b" default))
+ '(org-agenda-files
+   '("/home/ymherklotz/Dropbox/zk/verification.org" "/home/ymherklotz/Dropbox/org/inbox.org" "/home/ymherklotz/Dropbox/org/main.org" "/home/ymherklotz/Dropbox/org/tickler.org" "/home/ymherklotz/Dropbox/org/projects.org" "/home/ymherklotz/Dropbox/bibliography/reading_list.org")))
+(custom-set-faces
+ ;; custom-set-faces was added by Custom.
+ ;; If you edit it by hand, you could mess it up, so be careful.
+ ;; Your init file should contain only one such instance.
+ ;; If there is more than one, they won't work right.
+ )
+(put 'list-timers 'disabled nil)
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