diff options
| author | David Aspinall | 2001-12-11 13:10:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 13:10:06 +0000 |
| commit | ce1b3a6a7f3caca585c64cd9b15a4048442d8485 (patch) | |
| tree | c7cd080c4cb353b5421486546e0a6341e172daff /generic | |
| parent | 70d38539b583e1cd0c128587d3f73d98f0bd7405 (diff) | |
Missing paren
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 10a8c1a7..5100db40 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -2168,7 +2168,7 @@ Internal variable, setting this will have no effect!") (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 menubar-visible-p nil (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 |