summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRené 'Necoro' Neumann <necoro@necoro.net>2013-08-05 17:18:18 +0200
committerRené 'Necoro' Neumann <necoro@necoro.net>2013-08-05 17:18:24 +0200
commitfa8a5cd1e4d0d9ce09589f34c37565a44b621843 (patch)
treee7528060e7a701b649395f7181e40784450e0530
parent737529951aced4f3d321a331a0cce529aa3cc83e (diff)
downloaddotfiles-fa8a5cd1e4d0d9ce09589f34c37565a44b621843.tar.gz
dotfiles-fa8a5cd1e4d0d9ce09589f34c37565a44b621843.tar.bz2
dotfiles-fa8a5cd1e4d0d9ce09589f34c37565a44b621843.zip
Add "3-Panes"-Toggle to PG
Diffstat (limited to '')
-rw-r--r--.emacs13
1 files changed, 13 insertions, 0 deletions
diff --git a/.emacs b/.emacs
index 90fa302..5f189b5 100644
--- a/.emacs
+++ b/.emacs
@@ -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)