diff options
author | René 'Necoro' Neumann <necoro@necoro.net> | 2013-08-27 20:09:13 +0200 |
---|---|---|
committer | René 'Necoro' Neumann <necoro@necoro.net> | 2013-08-27 20:09:13 +0200 |
commit | 90a90ead4a36663d4c4f56020dec5a578471b8d8 (patch) | |
tree | f742995a418371de55bfeb4d0ab8d366d7b6e7d8 /.emacs | |
parent | c60eb16c2966166c6c72e7c82e492a984a8f38d9 (diff) | |
parent | fa8a5cd1e4d0d9ce09589f34c37565a44b621843 (diff) | |
download | dotfiles-90a90ead4a36663d4c4f56020dec5a578471b8d8.tar.gz dotfiles-90a90ead4a36663d4c4f56020dec5a578471b8d8.tar.bz2 dotfiles-90a90ead4a36663d4c4f56020dec5a578471b8d8.zip |
Merge branch 'master' of git.necoro.eu:dotfiles
Diffstat (limited to '.emacs')
-rw-r--r-- | .emacs | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -78,6 +78,19 @@ (isabelle-repair "auto quickcheck" "tracing") (isabelle-repair "quick and dirty" "proof") +;; toggle three window mode +(defun toggle-three-panes () + (interactive) + (proof-multiple-frames-toggle) + (proof-three-window-toggle)) + +(defun isar-mode-keys () + (message "Loading isar keys") + (local-set-key (kbd "C-c 3") 'toggle-three-panes) + ) + +(add-hook 'isar-mode-hook 'isar-mode-keys) + ;; custom file (setq custom-file "~/.emacs.d/custom.el") (load custom-file) |