Add "3-Panes"-Toggle to PG

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)