Don't use golden ratio mode in Idris holes buffer
This commit is contained in:
parent
6b41426d8d
commit
1fc2be3863
|
@ -102,7 +102,11 @@
|
|||
"sp" 'idris-load-backward-line
|
||||
"sP" 'spacemacs/idris-load-backward-line-and-focus
|
||||
"ss" 'idris-pop-to-repl
|
||||
"sq" 'idris-quit)))
|
||||
"sq" 'idris-quit)
|
||||
|
||||
(with-eval-after-load 'golden-ratio
|
||||
(add-to-list 'golden-ratio-exclude-buffer-names
|
||||
"*idris-notes*"))))
|
||||
|
||||
;; open special buffers in motion state so they can be closed with ~q~
|
||||
(evil-set-initial-state 'idris-compiler-notes-mode 'motion)
|
||||
|
|
Loading…
Reference in a new issue