diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2012-08-16 15:01:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2012-08-16 15:01:05 +0000 |
commit | d1dbb1bb03f777f744774b353b13b3cf2d11bf5f (patch) | |
tree | 4544c59fbd97b3d276456867d1b50173276082af /generic/proof-menu.el | |
parent | 3ace4262f67f259cba60338db8718d134c2c237c (diff) |
Add option proof-layout-windows-on-visit-file, addressing Trac #444
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 472f2f9e..a88c3e08 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -285,6 +285,8 @@ without adjusting window layout." (proof-deftoggle proof-delete-empty-windows) (proof-deftoggle proof-shrink-windows-tofit) (proof-deftoggle proof-multiple-frames-enable proof-multiple-frames-toggle) +(proof-deftoggle proof-layout-windows-on-visit-file + proof-layout-windows-eagerly-toggle) (proof-deftoggle proof-three-window-enable proof-three-window-toggle) (proof-deftoggle proof-auto-raise-buffers proof-auto-raise-toggle) (proof-deftoggle proof-disappearing-proofs) @@ -397,6 +399,10 @@ without adjusting window layout." ;; We use non-Emacs terminology "Windows" in this menu to help ;; non-Emacs users. Cf. Gnome usability studies: menus saying ;; "Web Browser" more useful to novices than menus saying "Mozilla"!! + ["Layout Eagerly" proof-layout-windows-eagerly-toggle + :style toggle + :selected proof-layout-windows-on-visit-file + :help "Display prover output windows when script file is opened."] ["Multiple Windows" proof-multiple-frames-toggle :active (and window-system t) :style toggle |