From c62f2220844350e40e78b1a08f954ff5621ccb7a Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Fri, 12 Apr 2024 18:00:21 -0300 Subject: change theme to wombat --- modules/emacs/README.org | 6 +++--- modules/gnome.nix | 1 + 2 files changed, 4 insertions(+), 3 deletions(-) (limited to 'modules') 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 diff --git a/modules/gnome.nix b/modules/gnome.nix index f67edb9..e3f41fa 100644 --- a/modules/gnome.nix +++ b/modules/gnome.nix @@ -26,6 +26,7 @@ user-themes blur-my-shell graphite-gtk-theme + x11-gestures ]); environment.gnome.excludePackages = (with pkgs; [ -- cgit v1.2.3