[emacs] update proof general
[~bandali/configs] / etc / custom.el
... / ...
CommitLineData
1(custom-set-variables
2 ;; custom-set-variables was added by Custom.
3 ;; If you edit it by hand, you could mess it up, so be careful.
4 ;; Your init file should contain only one such instance.
5 ;; If there is more than one, they won't work right.
6 '(auth-sources '("~/.authinfo.gpg"))
7 '(company-dabbrev-char-regexp "\\sw\\|\\s_\\|[-_]")
8 '(company-dabbrev-downcase nil)
9 '(company-dabbrev-ignore-case nil)
10 '(company-idle-delay 0.3)
11 '(company-minimum-prefix-length 1)
12 '(company-selection-wrap-around t)
13 '(eshell-hist-ignoredups t)
14 '(eshell-input-filter 'eshell-input-filter-initial-space)
15 '(ibuffer-formats
16 '((mark modified read-only locked " "
17 (name 18 18 :left :elide)
18 " "
19 (size-h 9 -1 :right)
20 " "
21 (mode 16 16 :left :elide)
22 " " filename-and-process)
23 (mark " "
24 (name 16 -1)
25 " " filename)) t)
26 '(ibuffer-saved-filter-groups
27 '(("default"
28 ("dired"
29 (mode . dired-mode))
30 ("org"
31 (mode . org-mode))
32 ("gnus"
33 (or
34 (mode . gnus-group-mode)
35 (mode . gnus-summary-mode)
36 (mode . gnus-article-mode)
37 (mode . message-mode)))
38 ("web"
39 (or
40 (mode . web-mode)
41 (mode . css-mode)
42 (mode . scss-mode)
43 (mode . js2-mode)))
44 ("shell"
45 (or
46 (mode . eshell-mode)
47 (mode . shell-mode)
48 (mode . term-mode)))
49 ("programming"
50 (or
51 (mode . python-mode)
52 (mode . c-mode)
53 (mode . c++-mode)
54 (mode . emacs-lisp-mode)
55 (mode . scheme-mode)
56 (mode . haskell-mode)
57 (mode . lean-mode)))
58 ("emacs"
59 (or
60 (name . "^\\*scratch\\*$")
61 (name . "^\\*Messages\\*$"))))) t)
62 '(ls-lisp-dirs-first t t)
63 '(org-latex-packages-alist '(("" "listings") ("" "color")))
64 '(safe-local-variable-values
65 '((org-hugo-auto-export-on-save . t)
66 (eval when
67 (featurep 'typo
68 (typo-mode -1)))
69 (eval add-hook 'after-save-hook 'org-beamer-export-to-latex t t)
70 (eval setq org-latex-prefer-user-labels t)
71 (eval add-hook 'after-save-hook 'org-latex-export-to-latex t t)
72 (org-hugo-footer . "
73
74[//]: # \"Exported with love from a post written in Org mode\"
75[//]: # \"- https://ox-hugo.scripter.co\"")
76 (eval add-hook 'after-save-hook #'a/async-babel-tangle 'append 'local)))
77 '(unkillable-buffers '("^\\*scratch\\*$" "^\\*Messages\\*$"))
78 '(which-key-add-column-padding 5)
79 '(which-key-max-description-length 32))
80(custom-set-faces
81 ;; custom-set-faces was added by Custom.
82 ;; If you edit it by hand, you could mess it up, so be careful.
83 ;; Your init file should contain only one such instance.
84 ;; If there is more than one, they won't work right.
85 '(dired-directory ((t (:weight semi-bold))))
86 '(magit-diff-file-heading ((t (:weight normal))))
87 '(quote (org-block-begin-line ((t (:foreground "#5a5b5a" :background "#1d1f21")))))
88 '(widget-button ((t (:weight semi-bold)))))