blob: c4584d9bfbbb2f44e07dc1bca9febf50cb502a45 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
|
;;; -*- lexical-binding: t; -*-
(setq ;; doom-font (font-spec :family "Hasklig" :size 15)
doom-unicode-font (font-spec :family "Julia Mono"))
;; (load-theme 'doom-palenight t)
(load-theme 'doom-moonlight t)
(when (version<= "26.0.50" emacs-version )
(global-display-line-numbers-mode))
;; company-mode auto-completion, to turn off use :company-complete
(require 'company)
(setq company-idle-delay 0.2
company-minimum-prefix-length 3)
(setq org-roam-capture-templates
'(("d" "default" plain "" :target
(file+head "%<%Y%m%d%H%M%S>-${slug}.org" "${title}")
:unnarrowed t)))
;; hooks to turn on lsp when entering haskell mode
(add-hook 'haskell-mode-hook #'lsp)
(add-hook 'haskell-literate-mode-hook #'lsp)
(setq org-agenda-files '("~/org" "~/org/roam"))
(setq org-roam-directory "~/org/roam")
(setq org-roam-v2-ack t)
(after! org
(setq org-todo-keywords
'((sequence "TODO" "IDEA" "IDLE" "DONE")
(sequence "[ ](T)" "[X](D)"))
org-todo-keyword-faces
'(("[-]" . +org-todo-active)
("[?]" . +org-todo-onhold)
("KILL" . +org-todo-cancel))))
(add-to-list 'load-path "~/.nix-profile/share/emacs/site-lisp/mu4e/")
(after! mu4e
(set-email-account! "hacc"
'( (user-mail-address . "stuebinm@hacc.space")
(user-full-name . "stuebinm")
(m4u-maildir . "~/Maildir/hacc")
(mu4e-sent-folder . "/hacc/Sent")
(mu4e-trash-folder . "/hacc/Trash") )
t)
(set-email-account! "disroot"
'( (user-mail-address . "stuebinm@disroot.org")
(user-full-name . "terru")
(m4u-maildir . "~/Maildir/disroot")
(mu4e-sent-folder . "/disroot/Sent")
(mu4e-trash-folder . "/disroot/Trash"))
t)
(set-email-account! "tum"
'( (user-mail-address . "stuebinm@in.tum.de")
(user-full-name . "stuebinm")
(m4u-maildir . "~/Maildir/tum")
(mu4e-sent-folder . "/tum/Sent")
(mu4e-trash-folder . "/tum/Trash"))
t)
(set-email-account! "ilztalbahn"
'( (user-mail-address . "stuebinm@ilztalbahn.eu")
(user-full-name . "terru")
(m4u-maildir . "~/Maildir/ilztalbahn")
(mu4e-sent-folder . "/ilztalbahn/Sent")
(mu4e-trash-folder . "/ilztalbahn/Trash"))
t)
(setq sendmail-program (executable-find "msmtp")
send-mail-function #'smtpmail-send-it
message-sendmail-f-is-evil t
message-sendmail-extra-arguments '("--read-envelope-from")
message-send-mail-function #'message-send-mail-with-sendmail)
(setq mu4e-split-view 'vertical)
(setq mu4e-headers-visible-columns 80))
(after! helm-dictionary
(setq helm-dictionary-database
'(("de-en" . "~/org/dict/de-en.txt")
("es-de" . "~/org/dict/es-de.txt")
("en-it" . "~/org/dict/en-it-enwiktionary.txt")
("it-en" . "~/org/dict/it-en-enwiktionary.txt"))))
;; hide all these annoying popups that clutter the view
(setq lsp-ui-doc-enable nil)
(setq lsp-ui-sideline-show-code-actions nil)
(setq lsp-signature-render-documentation nil)
(after! (lsp-ui helm-lsp)
(lsp-signature-activate)
;; custom version which will not blindly apply a single code action
;; if only one is available without asking about it first.
;; Source taken from https://github.com/emacs-lsp/helm-lsp/blob/master/helm-lsp.el
(lsp-make-interactive-code-action wingman-fill-hole "refactor.wingman.fillHole")
(lsp-make-interactive-code-action wingman-case-split "refactor.wingman.caseSplit")
(lsp-make-interactive-code-action wingman-refine "refactor.wingman.refine")
(lsp-make-interactive-code-action wingman-split-func-args "refactor.wingman.spltFuncArgs")
(lsp-make-interactive-code-action wingman-use-constructor "refactor.wingman.useConstructor")
(map! :map haskell-mode-map
"C-c s" #'lsp-wingman-split
"C-c h" #'lsp-wingman-fillhole)
(defun helm-lsp-code-actions-custom()
"Show lsp code actions using helm."
(interactive)
(let ((actions (lsp-code-actions-at-point)))
(cond
((seq-empty-p actions) (signal 'lsp-no-code-actions nil))
(t (helm :sources
(helm-build-sync-source
"Code Actions"
:candidates actions
:candidate-transformer
(lambda (candidates)
(-map
(-lambda ((candidate &as
&CodeAction :title))
(list title :data candidate))
candidates))
:action '(("Execute code action" . (lambda(candidate)
(print "selected code action")
(print (plist-get candidate :data))
(lsp-execute-code-action (plist-get candidate :data)))))))))))
(map! :map doom-leader-code-map
"a" #'helm-lsp-code-actions-custom))
(use-package! isar-mode
:mode "\\.thy\\'"
:config
;; (add-hook 'isar-mode-hook 'turn-on-highlight-indentation-mode)
;; (add-hook 'isar-mode-hook 'flycheck-mode)
(add-hook 'isar-mode-hook 'company-mode)
(add-hook 'isar-mode-hook
(lambda ()
(set (make-local-variable 'company-backends)
'((company-dabbrev-code company-yasnippet)))))
(add-hook 'isar-mode-hook
(lambda ()
(set (make-local-variable 'indent-tabs-mode) nil)))
(add-hook 'isar-mode-hook
(lambda ()
(yas-minor-mode))))
;; icons in the tray
(setq display-time-24hr-format 1)
(display-time-mode)
(display-battery-mode)
|
