From 2c011f19bad738e2c0bfa2bc25c4d103bdad29ce Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Sep 1999 16:59:29 +0000
Subject: Bug in command button for toolbar.

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

(limited to 'generic')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index d3ce83a0..c8cfa3e7 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -53,7 +53,7 @@
     (use	"Use"		"Process whole buffer" t)
     (restart	"Restart"	"Restart scripting (clear all locked regions)" t)
     (qed	"QED"		"Close/save proved theorem" t)
-    (command    "Command"	"Issue a non-scripting command")
+    (command    "Command"	"Issue a non-scripting command" t)
     (info	"Info"		"Show proof assistant information" t)
     (find	"Find"		"Find something from the proof assistant" t)
     (help	"Help"		"Proof General manual" t))
-- 
cgit v1.2.3