diff options
| -rw-r--r-- | generic/proof-shell.el | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 849fbb10..c5b11704 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1993,15 +1993,23 @@ Internal variable, setting this will have no effect!") (list proof-shell-special-display-regexp))) ;; If we're on XEmacs with toolbar, turn off toolbar and ;; menubar for the small frames to save space. + ;; FIXME: this could be implemented more smoothly + ;; with property lists, and specifiers should perhaps be set + ;; for the frame rather than the buffer. Then could disable + ;; minibuffer, too. (if (featurep 'toolbar) (progn (proof-with-current-buffer-if-exists proof-response-buffer (set-specifier default-toolbar-visible-p nil (current-buffer)) + ;; (set-specifier minibuffer (minibuffer-window) (current-buffer)) + (set-specifier has-modeline-p nil (current-buffer)) (set-specifier menubar-visible-p nil (current-buffer))) (proof-with-current-buffer-if-exists proof-goals-buffer (set-specifier default-toolbar-visible-p nil (current-buffer)) + ;; (set-specifier minibuffer (minibuffer-window)) + (set-specifier has-modeline-p nil (current-buffer)) (set-specifier menubar-visible-p nil (current-buffer))))) ;; Try to trigger re-display of goals/response buffers, ;; on next interaction. |