diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-07 14:29:11 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-07 14:29:11 +0000 |
| commit | 7f8de241dfc7a6b98adbe3e4740c9c3f82d46ed3 (patch) | |
| tree | 6d23d4c5cb142d1eb156415a21110f4017825fae /generic/pg-custom.el | |
| parent | 5d49a091228aa2bebdc4fc6eeda7bbc93410a470 (diff) | |
Re-enable toolbar commands on main menu; add home icon
Diffstat (limited to 'generic/pg-custom.el')
| -rw-r--r-- | generic/pg-custom.el | 12 |
1 files changed, 6 insertions, 6 deletions
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) |