diff options
| author | David Aspinall | 2002-09-13 13:19:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-13 13:19:33 +0000 |
| commit | 0fe8ab2224837791d90d04787ac23eb6ce00dcc8 (patch) | |
| tree | fcab9aca5ebac4154cd0a248a41d115a290f7f5d | |
| parent | 61f2c86cb46ed6273fff026ab63aa2697c74fba7 (diff) | |
set-specifier -> remove-specifier as per XEmacs docs.
| -rw-r--r-- | generic/pg-response.el | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 0f00e07a..4eb2fde0 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -78,12 +78,13 @@ Internal variable, setting this will have no effect!") (proof-map-buffers (list proof-response-buffer proof-goals-buffer proof-trace-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)) + ; (set-specifier minibuffer (minibuffer-window) (current-buffer)) + ;(set-specifier has-modeline-p nil (current-buffer)) + (remove-specifier has-modeline-p (current-buffer)) + (remove-specifier menubar-visible-p (current-buffer)) ;; gutter controls buffer tab visibility in XE 21.4 (and (boundp 'default-gutter-visible-p) - (set-specifier default-gutter-visible-p nil (current-buffer))))) + (remove-specifier default-gutter-visible-p (current-buffer))))) ;; Try to trigger re-display of goals/response buffers, ;; on next interaction. ;; FIXME: would be nice to do the re-display here, rather |