From d21ff6d5b64aaf334a7c4764e88484010f9d8371 Mon Sep 17 00:00:00 2001 From: Leni Ven Date: Sat, 14 May 2022 20:57:45 -0400 Subject: [PATCH] Add coq and fix initial state problem for pdf view mode --- home/spacemacs | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/home/spacemacs b/home/spacemacs index 2621240..329f1ce 100644 --- a/home/spacemacs +++ b/home/spacemacs @@ -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)