From 6a135865d263ab7c7efdd985b6ec3d56d8fcfaa2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 27 Aug 2010 10:37:31 +0000
Subject: Add retract buffer to menu

---
 generic/pg-custom.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

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)
-- 
cgit v1.2.3