aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doom/config.el4
1 files changed, 3 insertions, 1 deletions
diff --git a/doom/config.el b/doom/config.el
index c7ed85d..e69853f 100644
--- a/doom/config.el
+++ b/doom/config.el
@@ -178,7 +178,7 @@
(use-package! magit
:bind (("C-x g" . magit-status))
:config
- (add-hook 'magit-status-sections-hook #'magit-insert-modules))
+ (add-hook 'magit-status-sections-hook #'magit-insert-modules 90))
;; Configure activation for whitespace mode
(use-package! whitespace
@@ -530,6 +530,8 @@
(setq coq-may-use-prettify nil
company-coq-prettify-symbols nil)
+;;(set-face-background 'proof-locked-face "#dddddd")
+
(use-package! smartparens
:config
(map! :map smartparens-mode-map