Extract golden-ratio config to package fns
This commit is contained in:
parent
1fc2be3863
commit
da2af5c1fd
|
@ -10,7 +10,8 @@
|
|||
;;; License: GPLv3
|
||||
|
||||
(setq agda-packages
|
||||
'((agda :location local)))
|
||||
'((agda :location local)
|
||||
golden-ratio))
|
||||
|
||||
(defun agda/init-agda ()
|
||||
(if (and (eq 'use-helper agda-mode-path)
|
||||
|
@ -75,8 +76,10 @@
|
|||
"xd" 'agda2-remove-annotations
|
||||
"xh" 'agda2-display-implicit-arguments
|
||||
"xq" 'agda2-quit
|
||||
"xr" 'agda2-restart)
|
||||
"xr" 'agda2-restart)))))
|
||||
|
||||
(with-eval-after-load 'golden-ratio
|
||||
(add-to-list 'golden-ratio-exclude-buffer-names
|
||||
"*Agda information*"))))))
|
||||
(defun idris/pre-init-golden-ratio ()
|
||||
(spacemacs|use-package-add-hook golden-ratio
|
||||
:post-config
|
||||
(add-to-list 'golden-ratio-exclude-buffer-names
|
||||
"*Agda information*")))
|
||||
|
|
|
@ -9,8 +9,9 @@
|
|||
;;
|
||||
;;; License: GPLv3
|
||||
|
||||
(setq idris-packages '(idris-mode
|
||||
company
|
||||
(setq idris-packages '(company
|
||||
idris-mode
|
||||
golden-ratio
|
||||
popwin))
|
||||
|
||||
(defun idris/post-init-company ()
|
||||
|
@ -102,17 +103,19 @@
|
|||
"sp" 'idris-load-backward-line
|
||||
"sP" 'spacemacs/idris-load-backward-line-and-focus
|
||||
"ss" 'idris-pop-to-repl
|
||||
"sq" 'idris-quit)
|
||||
|
||||
(with-eval-after-load 'golden-ratio
|
||||
(add-to-list 'golden-ratio-exclude-buffer-names
|
||||
"*idris-notes*"))))
|
||||
"sq" 'idris-quit)))
|
||||
|
||||
;; open special buffers in motion state so they can be closed with ~q~
|
||||
(evil-set-initial-state 'idris-compiler-notes-mode 'motion)
|
||||
(evil-set-initial-state 'idris-hole-list-mode 'motion)
|
||||
(evil-set-initial-state 'idris-info-mode 'motion))
|
||||
|
||||
(defun idris/pre-init-golden-ratio ()
|
||||
(spacemacs|use-package-add-hook golden-ratio
|
||||
:post-config
|
||||
(add-to-list 'golden-ratio-exclude-buffer-names
|
||||
"*idris-notes*")))
|
||||
|
||||
(defun idris/pre-init-popwin ()
|
||||
(spacemacs|use-package-add-hook popwin
|
||||
:post-config
|
||||
|
|
Loading…
Reference in New Issue