diff options
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 c58b8e11..fd5c1a23 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -46,7 +46,7 @@ (goal "Start a New Proof" "Start a new proof" t nil) (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) + (delete "Delete Step" "Delete the last proof command" nil 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) |