diff options
| author | Miran Bastaja <miran.bastaja04@gmail.com> | 2023-12-25 15:16:29 +0100 |
|---|---|---|
| committer | Miran Bastaja <miran.bastaja04@gmail.com> | 2023-12-25 15:16:29 +0100 |
| commit | 695a920a43a0317221e590038ac135d9dd7cdb7c (patch) | |
| tree | 65c0acda43e1d63de7fbb13e241631c86262b690 /share/home/emacs/emacs.el | |
| parent | 44015a87695ec14d1f10820a67b15a020b09343f (diff) | |
emacs: small config improvements
Diffstat (limited to 'share/home/emacs/emacs.el')
| -rw-r--r-- | share/home/emacs/emacs.el | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/share/home/emacs/emacs.el b/share/home/emacs/emacs.el index 6cf9652..31512c8 100644 --- a/share/home/emacs/emacs.el +++ b/share/home/emacs/emacs.el @@ -99,6 +99,8 @@ (defun display-startup-echo-area-message () (message "")) + (global-display-line-numbers-mode) + :hook ((prog-mode . mb/enable-line-numbers) (prog-mode . mb/enable-fill-column)) @@ -183,15 +185,13 @@ (use-package flycheck :hook (prog-mode . flycheck-mode)) -;;; Customization - Line numbers ;;; - -(when (version<= "26.0.50" emacs-version ) - (global-display-line-numbers-mode)) - ;;; Customization - Which key ;;; (use-package which-key - :config (which-key-mode +1)) + :init + (setq which-key-idle-delay 0.1) + :config + (which-key-mode +1)) ;;;;;;;;;;;;;;;;;;;;;;;;; ;;; Languages ;;; @@ -207,6 +207,10 @@ (use-package proof-general :mode ("\\.v\\'" . coq-mode)) + +;;; Languages - Rust ;;; +;; TODO + ;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; Useful modes ;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
