From 7f8de241dfc7a6b98adbe3e4740c9c3f82d46ed3 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 7 Aug 2009 14:29:11 +0000 Subject: Re-enable toolbar commands on main menu; add home icon --- generic/pg-custom.el | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'generic/pg-custom.el') diff --git a/generic/pg-custom.el b/generic/pg-custom.el index 8fc5158b..7445c0e4 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -62,13 +62,13 @@ support depends on whether your proof assistant supports it." proof-context-command) (goal "Start a New Proof" "Start a new proof" t nil) (retract "Retract Buffer" "Retract (undo) whole buffer" t) - (undo "Undo Step" "Undo the previous proof command" t) - (delete "Delete Step" "Delete the last proof command" t) - (next "Next Step" "Process the next proof command" t) - (use "Use Buffer" "Process whole buffer" t) - (goto "Goto Point" "Process or undo to the cursor position" t) + (undo "Undo Step" "Undo the previous proof command" t t) + (delete "Delete Step" "Delete the last proof command" t t) + (next "Next Step" "Process the next proof command" t t) + (use "Use Buffer" "Process whole buffer" t t) + (goto "Goto Point" "Process or undo to the cursor position" t t) (qed "Finish Proof" "Close/save proved theorem" t nil) - (lockedend "Goto Locked End" "Goto end of the last command proceesed" nil t) + (home "Goto Locked End" "Goto end of the last command proceesed" t t) (find "Find Theorems" "Find theorems" t proof-find-theorems-command) (command "Issue Command" "Issue a non-scripting command" nil) (interrupt "Interrupt Prover" "Interrupt the proof assistant" t) -- cgit v1.2.3