diff options
| author | David Aspinall | 2000-06-22 15:33:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-22 15:33:42 +0000 |
| commit | 8dffb81e9c9b787b9ce25cdbd27a5fa9aeea88c0 (patch) | |
| tree | 5b1d318c990d817dbebdf68c256df8d5bd5ac409 | |
| parent | 7c6fbf8a479bd65d341e6b091fbedd80204ea972 (diff) | |
Remove modeline from extra frames (in XEmacs).
| -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. |