diff options
author | 2004-04-17 15:38:36 +0000 | |
---|---|---|
committer | 2004-04-17 15:38:36 +0000 | |
commit | 72fbd58445a48994d896ff3b057713b47f6c4d5a (patch) | |
tree | d8760464c7b404087eef5efd665036e1a0a7a691 /generic | |
parent | b4752663de200308128d3d94326d4c01bf882beb (diff) |
Capitalization.
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] |