From 0fe8ab2224837791d90d04787ac23eb6ce00dcc8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 13 Sep 2002 13:19:33 +0000 Subject: set-specifier -> remove-specifier as per XEmacs docs. --- generic/pg-response.el | 9 +++++---- 1 file 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 -- cgit v1.2.3