From 4a693dadd0e28c03bc19637238894ff89ca05e6c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 5 May 2000 11:29:18 +0000 Subject: Added menu entry for proof-goto-end-of-locked. --- generic/proof-toolbar.el | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'generic/proof-toolbar.el') diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 984bfbd2..c4cb9ca0 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -53,6 +53,7 @@ (goto "Goto point" "Process or undo to the cursor position" t) (restart "Restart scripting" "Restart scripting (clear all locked regions)" t) (qed "Finish proof" "Close/save proved theorem" t) + (lockedend "Locked end" nil t) (find "Find theorems" "Find theorems" t) (command "Issue command" "Issue a non-scripting command" t) (interrupt "Interrupt prover" "Interrupt the proof assistant (warning: may break synchronization)" t) @@ -288,6 +289,16 @@ changed state." (defalias 'proof-toolbar-delete 'proof-undo-and-delete-last-successful-command) +;; +;; Lockedend button (not actually on toolbar) +;; + +(defun proof-toolbar-lockedend-enable-p () + t) + +(defalias 'proof-toolbar-lockedend 'proof-goto-end-of-locked) + + ;; -- cgit v1.2.3