diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-27 17:48:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-27 17:48:15 +0000 |
| commit | b024b54d734daad2e313c0cf697f4d89e49c205e (patch) | |
| tree | a9d090b601b1edbc259777c1e69480232f3f3296 /generic/proof-menu.el | |
| parent | f574a04640014a64e505629622141c278601b991 (diff) | |
Tweak hint text
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 6 |
1 files changed, 3 insertions, 3 deletions
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) |