diff options
author | 2010-08-27 10:37:31 +0000 | |
---|---|---|
committer | 2010-08-27 10:37:31 +0000 | |
commit | 6a135865d263ab7c7efdd985b6ec3d56d8fcfaa2 (patch) | |
tree | 207ce10acffff8319a870b559d0e3097f16f28b4 /generic/pg-custom.el | |
parent | 50ec0f87b471c0bbb6304d3959aa836029e83a3a (diff) |
Add retract buffer to menu
Diffstat (limited to 'generic/pg-custom.el')
-rw-r--r-- | generic/pg-custom.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-custom.el b/generic/pg-custom.el index eb8afa3c..e2f6b678 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -65,7 +65,7 @@ support depends on whether your proof assistant supports it." (context "Display Context" "Display the current context" t proof-context-command) (goal "Start a New Proof" "Start a new proof" t nil) - (retract "Retract Buffer" "Retract (undo) whole buffer" t) + (retract "Retract Buffer" "Retract (undo) whole buffer" t 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) |