[emacs] update proof general

[~bandali/configs] / etc / custom.el

diff --git a/etc/custom.el b/etc/custom.el
index ca23ad5..f9a149b 100644 (file)
--- a/etc/custom.el
+++ b/etc/custom.el
@@ -10,6 +10,8 @@
  '(company-idle-delay 0.3)
  '(company-minimum-prefix-length 1)
  '(company-selection-wrap-around t)
+ '(eshell-hist-ignoredups t)
+ '(eshell-input-filter 'eshell-input-filter-initial-space)
  '(ibuffer-formats
    '((mark modified read-only locked " "
            (name 18 18 :left :elide)
@@ -20,13 +22,19 @@
            " " filename-and-process)
      (mark " "
            (name 16 -1)
-           " " filename)))
+           " " filename)) t)
  '(ibuffer-saved-filter-groups
    '(("default"
       ("dired"
        (mode . dired-mode))
       ("org"
        (mode . org-mode))
+      ("gnus"
+       (or
+        (mode . gnus-group-mode)
+        (mode . gnus-summary-mode)
+        (mode . gnus-article-mode)
+        (mode . message-mode)))
       ("web"
        (or
         (mode . web-mode)
@@ -36,45 +44,45 @@
       ("shell"
        (or
         (mode . eshell-mode)
-        (mode . shell-mode)))
-      ("notmuch"
-       (name . "*notmuch*"))
+        (mode . shell-mode)
+        (mode . term-mode)))
       ("programming"
        (or
         (mode . python-mode)
+        (mode . c-mode)
         (mode . c++-mode)
-        (mode . emacs-lisp-mode)))
+        (mode . emacs-lisp-mode)
+        (mode . scheme-mode)
+        (mode . haskell-mode)
+        (mode . lean-mode)))
       ("emacs"
        (or
         (name . "^\\*scratch\\*$")
-        (name . "^\\*Messages\\*$")))
-      ("slack"
-       (or
-        (name . "^\\*Slack*"))))))
+        (name . "^\\*Messages\\*$"))))) t)
+ '(ls-lisp-dirs-first t t)
  '(org-latex-packages-alist '(("" "listings") ("" "color")))
  '(safe-local-variable-values
-   '((eval add-hook 'after-save-hook 'org-beamer-export-to-latex t t)
+   '((org-hugo-auto-export-on-save . t)
+     (eval when
+           (featurep 'typo
+                     (typo-mode -1)))
+     (eval add-hook 'after-save-hook 'org-beamer-export-to-latex t t)
      (eval setq org-latex-prefer-user-labels t)
      (eval add-hook 'after-save-hook 'org-latex-export-to-latex t t)
      (org-hugo-footer . "
 
 [//]: # \"Exported with love from a post written in Org mode\"
 [//]: # \"- https://ox-hugo.scripter.co\"")
-     (eval add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local))))
+     (eval add-hook 'after-save-hook #'a/async-babel-tangle 'append 'local)))
+ '(unkillable-buffers '("^\\*scratch\\*$" "^\\*Messages\\*$"))
+ '(which-key-add-column-padding 5)
+ '(which-key-max-description-length 32))
 (custom-set-faces
  ;; custom-set-faces was added by Custom.
  ;; If you edit it by hand, you could mess it up, so be careful.
  ;; Your init file should contain only one such instance.
  ;; If there is more than one, they won't work right.
  '(dired-directory ((t (:weight semi-bold))))
- '(font-lock-comment-face ((t (:foreground "#111111" :weight semi-bold))))
- '(ivy-minibuffer-match-face-2 ((t (:background "#e99ce8" :weight semi-bold))))
- '(ivy-minibuffer-match-face-3 ((t (:background "#bbbbff" :weight semi-bold))))
- '(ivy-minibuffer-match-face-4 ((t (:background "#ffbbff" :weight semi-bold))))
  '(magit-diff-file-heading ((t (:weight normal))))
- '(message-header-cc ((t (:foreground "#333" :weight normal))))
- '(message-header-subject ((t (:foreground "navy blue" :weight semi-bold))))
- '(message-header-to ((t (:foreground "MidnightBlue" :weight semi-bold))))
- '(notmuch-search-unread-face ((t (:weight semi-bold))))
- '(notmuch-tag-face ((t (:foreground "navy blue" :weight semi-bold))))
+ '(quote (org-block-begin-line ((t (:foreground "#5a5b5a" :background "#1d1f21")))))
  '(widget-button ((t (:weight semi-bold)))))