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 | |
parent | d7913720128e48f07696565867f41c052d6e1f69 (diff) | |
download | dotfiles-ac75c2d63125e27f486ebb984152c866ef17e677.tar.gz dotfiles-ac75c2d63125e27f486ebb984152c866ef17e677.zip |
Fix slowdowns in coq-mode
-rw-r--r-- | doom/config.el | 4 | ||||
-rw-r--r-- | doom/custom.el | 16 | ||||
-rw-r--r-- | tmux/.tmux.conf | 4 |
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 |