aniva
/
common
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add coq and fix initial state problem for pdf view mode

This commit is contained in:
Leni Ven 2022-05-14 20:57:45 -04:00
parent c276d912f6
commit d21ff6d5b6
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
home/spacemacs
View File

@ -91,6 +91,7 @@ This function should only modify configuration layer settings."
html
alda ;; Music language
coq ;; Theorem prover (Proof General)
;; Others
finance ;; Ledger accounting
@ -596,9 +597,11 @@ before packages are loaded."
(setq centaur-tabs-style "wave")
;; Ensures the pdf view mode doesn't get into emacs state, which will destroy
;; the key bindings
;(evil-set-initial-state 'pdf-view-mode 'normal)
;; Ensures the pdf view mode doesn't get into emacs state.
;; If it does get into emacs state, checked by
;; (describe-variable 'evil-state)
;; Use M-x evil-normal-state or M-x evil-force-evilified-state to revert.
(evil-set-initial-state 'pdf-view-mode 'evilified)
;; Displaying whitespaces
(spacemacs/toggle-whitespace-globally-on)