diff options
| author | Ryan Kavanagh <rak@debian.org> | 2013-06-07 21:11:55 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2013-06-07 21:11:55 -0400 |
| commit | 03802058ff775967c6ee580c0998e2fd468e47fd (patch) | |
| tree | 6200857cf96ec184091085920998c4d6fa09fbc2 | |
| parent | Expand sbuildrc (diff) | |
Use three window mode in proof general
| -rw-r--r-- | .emacs | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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) |