-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmanual-change.txt
43 lines (37 loc) · 2 KB
/
manual-change.txt
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
~/.emacs.d/layers/+lang/agda/packages.el -- lines 36-47
---
(progn
(mapc
(lambda (x) (add-to-list 'face-remapping-alist x))
'((agda2-highlight-datatype-face . font-lock-type-face)
(agda2-highlight-function-face . font-lock-type-face)
(agda2-highlight-inductive-constructor-face . font-lock-function-name-face)
(agda2-highlight-keyword-face . font-lock-keyword-face)
(agda2-highlight-module-face . font-lock-constant-face)
(agda2-highlight-number-face . nil)
(agda2-highlight-postulate-face . font-lock-type-face)
(agda2-highlight-primitive-type-face . font-lock-type-face)
(agda2-highlight-record-face . font-lock-type-face))))
-------------------------------------------------------------------------------
~/.emacs.d/layers/+lang/agda/packages.el -- line 87 to line 87
---
(defun idris/pre-init-golden-ratio ()
+++
(defun agda/pre-init-golden-ratio ()
-------------------------------------------------------------------------------
~/.emacs.d/elpa/evil-20160827.1510/evil-core.el -- line 1221 to lines 1221-1225
---
(activate-input-method evil-input-method)
+++
(progn
(unless deactivate-current-input-method-function
(setq deactivate-current-input-method-function
(lambda () ())))
(activate-input-method evil-input-method))
*** Note: after changing this, need to recomplie evil entirely
(in terminal) find ~/.emacs.d/elpa/evil-201<TAB> -name "*.elc" -type f | xargs rm -f
(in emacs) C-u 0 M-x RET byte-force-recompile RET ~/.emacs.d/elpa/evil-201<TAB>
-------------------------------------------------------------------------------
~/.emacs.d/.cache/quelpa/package/
rename evil-unimpaired-0.1pre0.20170106.04350.el
to evil-unimpaired-0.1pre0.20170106.4350.el