diff options
| author | Leonardo Santiago <[email protected]> | 2024-04-12 18:00:21 -0300 |
|---|---|---|
| committer | Leonardo Santiago <[email protected]> | 2024-04-12 18:00:21 -0300 |
| commit | c62f2220844350e40e78b1a08f954ff5621ccb7a (patch) | |
| tree | b998de15faa0f033be6485712e54282c96db28e2 /modules/emacs/README.org | |
| parent | a40fe388daee3bc72e423917f707cca760db4da8 (diff) | |
change theme to wombat
Diffstat (limited to 'modules/emacs/README.org')
| -rw-r--r-- | modules/emacs/README.org | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/modules/emacs/README.org b/modules/emacs/README.org index f4bd2a1..0d672c0 100644 --- a/modules/emacs/README.org +++ b/modules/emacs/README.org @@ -28,8 +28,8 @@ You can also use it as a ~nixosModule~, in order to add additional packages like ** Theme and font #+begin_src emacs-lisp :tangle yes (use-package modus-themes) -; (use-package kanagawa-theme) -(load-theme 'tsdh-light t) +;; (use-package kanagawa-theme) +(load-theme 'wombat t) (set-face-attribute 'default nil :family "Iosevka Nerd Font" @@ -258,7 +258,7 @@ Try to use the package. ** Coq #+begin_src emacs-lisp :tangle yes (use-package proof-general - :mode "\\.md\\'") + :mode "\\.v\\'") (use-package company-coq :hook (coq-mode . company-coq-mode)) #+end_src |