From a0551048015ea46ac5bff5404b8e392b0a9d4f43 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Sep 2010 00:37:52 +0000
Subject: proof-toolbar-entries-default: Remove accidental inclusion of delete
 in toolbar. It has no icon in images directory, which causes odd effects with
 toolbar mapping (Fixes Trac #352).

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