diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index d5d74382..694be484 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -288,7 +288,7 @@ without adjusting window layout." ; :style toggle ; :selected proof-output-fontify-enable] - ["Strict read only" proof-strict-read-only-toggle + ["Strict Read Only" proof-strict-read-only-toggle :style toggle :selected proof-strict-read-only] |