diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2012-09-25 09:39:54 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2012-09-25 09:39:54 +0000 |
| commit | 0cfd40541a5958eb3806d54d4882b0caace38bd0 (patch) | |
| tree | 3f9a050d3c266d827acede1b66d23abb0172edf4 /coq/coq-abbrev.el | |
| parent | 57970034e24ff9936642d1e78363b32329e78a90 (diff) | |
Added a menu to set the 3 windows layout.
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 6bd687ef..5242b4f1 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -85,6 +85,35 @@ :selected proof-three-window-enable :help "Toggles the use of separate windows or frames for Coq responses and goals." ] + ("3 Windows mode layout" + ["smart" + (progn + (customize-set-variable 'proof-three-window-mode-policy 'smart) + (proof-layout-windows)) + :style radio + :selected (eq proof-three-window-mode-policy 'smart) + :help "Adapt to frame width (C-c C-l to refresh)"] + ["hybrid" + (progn + (customize-set-variable 'proof-three-window-mode-policy 'hybrid) + (proof-layout-windows)) + :style radio + :selected (eq proof-three-window-mode-policy 'hybrid) + :help "two column mode"] + ["horizontal" + (progn + (customize-set-variable 'proof-three-window-mode-policy 'horizontal) + (proof-layout-windows)) + :style radio + :selected (eq proof-three-window-mode-policy 'horizontal) + :help "Three column mode"] + ["vertical" + (progn + (customize-set-variable 'proof-three-window-mode-policy 'vertical) + (proof-layout-windows)) + :style radio + :selected (eq proof-three-window-mode-policy 'vertical) + :help "One column mode"]) ["Refresh Windows Layout" proof-layout-windows t] ["Toggle tooltips" proof-output-tooltips-toggle :style toggle |