summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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)