diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-15 23:52:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-15 23:52:42 +0000 |
| commit | b3a843523cad3e71113a8ac11eaa1e3b5edb4f8c (patch) | |
| tree | 339f52ebce6b1709f04a72aa7c5c0f278046fde3 | |
| parent | 04b46d595cee0a616be4278cbac5a6683ab086d6 (diff) | |
Small fixes
| -rw-r--r-- | generic/proof-menu.el | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 763d4e89..ca0cb4e4 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -310,7 +310,7 @@ If in three window or multiple frame mode, display both buffers." :active (fboundp 'function-menu)] ["Complete Identifier" complete t] ["Next Error" proof-next-error - :active proof-shell-next-error-regexp]) + :active pg-next-error-regexp]) "The Proof General generic menu for scripting buffers.") @@ -444,8 +444,7 @@ suitable for adding to the proof assistant menu." (defun proof-read-favourite () (let* - ((favs (symbol-value (proof-ass-sym favourites))) - (guess (buffer-substring (save-excursion + ((guess (buffer-substring (save-excursion (beginning-of-line-text) (point)) (point))) (cmd (read-string @@ -482,7 +481,7 @@ KEY is the optional key binding." (lambda (f) (string-equal menuname (caddr f))) favs)) (newfavs (append - favs + rmfavs (list (list command inscript menuname key))))) ;; If def succeeds, add to customize var (customize-set-variable (proof-ass-sym favourites) newfavs) @@ -543,7 +542,7 @@ the form of the menu entry for the setting.") ;;;###autoload (defun proof-defpacustom-fn (name val args) "As for macro `defpacustom' but evaluation arguments." - (let (newargs setting evalform) + (let (newargs setting evalform type) (while args (cond ((eq (car args) :setting) |