diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2012-08-31 20:57:19 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2012-08-31 20:57:19 +0000 |
| commit | 1658b9ac6ce748fe30565ab74ebee0c362b488f7 (patch) | |
| tree | 0d1278b9cdf20b68ed6e809d1ff31e794b7487e1 /coq/coq-abbrev.el | |
| parent | 9d11b325cee534c5a166a135d6c7c97740e00670 (diff) | |
Changed the behaviour of proof-layout-windows. Now it follows the
'horizontal 'vertical 'smart policy.
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 3b27180b..aad46d45 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -80,7 +80,11 @@ ;; Common part (scrit, response and goals buffers) (defconst coq-menu-common-entries `( - ["Toggle 3 windows mode" proof-three-window-toggle t] + ["Toggle 3 windows mode" proof-three-window-toggle + :style toggle + :selected proof-three-window-enable + :help "Toggles the use of separate windows or frames for Coq responses and goals." + ] ["Refresh windows layout" proof-layout-windows t] ["Toggle tooltips" proof-output-tooltips-toggle :style toggle |