diff options
Diffstat (limited to 'src/interp/setvart.boot')
| -rw-r--r-- | src/interp/setvart.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/setvart.boot b/src/interp/setvart.boot index 43e1089e..2ddc7bcf 100644 --- a/src/interp/setvart.boot +++ b/src/interp/setvart.boot @@ -866,8 +866,8 @@ $setOptions := '( -- The highlighting option may be followed by any one of the -- following: -- --- on --- -> off +-- -> on +-- off -- -- The current setting is indicated within the list. (highlighting @@ -876,7 +876,7 @@ $setOptions := '( LITERALS $highlightAllowed (on off) - off) + on) -- --------------------- The instant Option ---------------------- -- |