From fa8a5cd1e4d0d9ce09589f34c37565a44b621843 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= <necoro@necoro.net>
Date: Mon, 5 Aug 2013 17:18:18 +0200
Subject: Add "3-Panes"-Toggle to PG

---
 .emacs | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to '.emacs')

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)
-- 
cgit v1.2.3