1 files changed, 2 insertions, 0 deletions
diff --git a/.emacs b/.emacs
index 32faee3..80fd74f 100644
--- a/.emacs
+++ b/.emacs
@@ -61,6 +61,8 @@
 
 ;;;; PROOFGENERAL
 (load-file "~/.emacs.d/proofgeneral/generic/proof-site.el")
+(setq proof-three-window-enable t)
+(setq proof-three-window-mode-policy 'hybrid)
 
 ;;;; TeX
 (setq TeX-PDF-mode t)