From 025307aa6ba0a946737a10246d15c28419465c5a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 26 Sep 2009 23:30:08 +0000
Subject: Shorten menu name

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

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index fb6a6fc5..b2aa34a6 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -447,7 +447,7 @@ without adjusting window layout."
        :style radio
        :selected (null proof-auto-action-when-deactivating-scripting)])
 
-     ("Useful Minor Modes"
+     ("Minor Modes"
      ["Unicode Maths Menu"
       (proof-maths-menu-toggle (if (boundp 'maths-menu-mode)
 				       (if maths-menu-mode 0 1) 1))
-- 
cgit v1.2.3