diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2012-09-04 23:48:01 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2012-09-04 23:48:01 +0200 |
| commit | c43330157961612a211e16d4381ae536d15370fa (patch) | |
| tree | e534f1ed70a953970f36c4712efa968cb1b7a2d6 /.emacs.d/evil-settings.el | |
| parent | 6d7a29af83b339d73a66d35ae1216263e3631f03 (diff) | |
| download | dotfiles-c43330157961612a211e16d4381ae536d15370fa.tar.gz dotfiles-c43330157961612a211e16d4381ae536d15370fa.tar.bz2 dotfiles-c43330157961612a211e16d4381ae536d15370fa.zip | |
More emacs/isabelle hacks
Diffstat (limited to '')
| -rw-r--r-- | .emacs.d/evil-settings.el | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/.emacs.d/evil-settings.el b/.emacs.d/evil-settings.el index b646cf6..90d0396 100644 --- a/.emacs.d/evil-settings.el +++ b/.emacs.d/evil-settings.el @@ -11,6 +11,11 @@ (define-key evil-normal-state-map "Y" 'evil-yank-line-end) ; make unicode-tokens work -(eval-after-load "isar" '(progn - (unicode-tokens-use-shortcuts 0) - (unicode-tokens-use-shortcuts 1))) +(setq repair-unicode-shortcuts + '(progn + (print "Repairing Unicode Shortcuts for Evil") + (unicode-tokens-use-shortcuts 0) + (unicode-tokens-use-shortcuts 1))) + +(eval-after-load 'isar repair-unicode-shortcuts) + |