diff options
| author | David Aspinall | 2006-09-22 18:03:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-09-22 18:03:54 +0000 |
| commit | 8e937606022b2d17956d3824f1690edd47edc47c (patch) | |
| tree | 87233bef1805cf1fecc2443e5af26a6357f1bc01 /generic/proof-shell.el | |
| parent | 65881cefcf8da27bf0df548ff681de0f787ae762 (diff) | |
Comments.
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 64b5b275..bbb7af52 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -2048,7 +2048,6 @@ usual, unless NOERROR is non-nil." (setq proof-shell-urgent-message-scanner (make-marker)) (set-marker proof-shell-urgent-message-scanner (point-min)) - ;; easy-menu-add must be in the mode function for XEmacs. (easy-menu-add proof-shell-mode-menu proof-shell-mode-map) ;; [ Should already be in proof-goals-buffer, really.] |