tweaks: use a few fewer capitals, and drop an unneeded synonym

master
Benno Schulenberg 2021-11-13 16:33:47 +01:00
parent 1007ca5af8
commit b76b5b9967
1 changed files with 4 additions and 4 deletions

View File

@ -657,11 +657,11 @@ This is the default. (This option is the opposite of @option{-b}
@item -x
@itemx --nohelp
Expert Mode: don't show the two help lines at the bottom of the screen.
This affects the location of the status bar as well, as in Expert Mode it
Expert mode: don't show the two help lines at the bottom of the screen.
This affects the location of the status bar as well, as in Expert mode it
is located at the very bottom of the editor.
Note: When accessing the help system, Expert Mode is temporarily
Note: When accessing the help system, Expert mode is temporarily
disabled to display the help-system navigation keys.
@item -y
@ -758,7 +758,7 @@ for more details). The following global toggles are available:
@item Soft Wrapping
@kbd{M-S} toggles the @option{-S} (@option{--softwrap}) command-line option.
@item Expert/No Help
@item Expert
@kbd{M-X} toggles the @option{-x} (@option{--nohelp}) command-line option.
@item Syntax Coloring