From b024b54d734daad2e313c0cf697f4d89e49c205e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 27 Sep 2009 17:48:15 +0000 Subject: Tweak hint text --- generic/proof-menu.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'generic/proof-menu.el') diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 80f39845..fe34b5d0 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -476,19 +476,19 @@ without adjusting window layout." :active (stringp (locate-library "outline")) :style toggle :selected (and (boundp 'outline-minor-mode) outline-minor-mode) - :help "Outline mode for folding [NB: option not saved]"] + :help "Outline mode for folding (note: option not saved)"] ["Hide/Show" hs-minor-mode :active (stringp (locate-library "hideshow")) :style toggle :selected (and (boundp 'hs-minor-mode) hs-minor-mode) - :help "Hide/Show mode for folding [NB: option not saved]"] + :help "Hide/Show mode for folding (note: option not saved)"] ["Speedbar" speedbar :active (stringp (locate-library "speedbar")) :style toggle :selected (and (boundp 'speedbar-frame) speedbar-frame) - :help "Speedbar navigation window [NB: option not saved]"]) + :help "Speedbar navigation window (note: option not saved)"]) "----" ["Reset Options" (proof-quick-opts-reset) -- cgit v1.2.3