diff options
Diffstat (limited to 'src/interp/sys-constants.boot')
-rw-r--r-- | src/interp/sys-constants.boot | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/interp/sys-constants.boot b/src/interp/sys-constants.boot index 75896661..59e32e48 100644 --- a/src/interp/sys-constants.boot +++ b/src/interp/sys-constants.boot @@ -71,7 +71,7 @@ $escapeString == ++ Marker to swicth to bold font $boldString == - CONCATENATE('STRING, $escapeString, '"[12m") + CONCATENATE('STRING, $escapeString, '"[1m") ++ Marker to switch to normal font $normalString == @@ -85,6 +85,13 @@ $reverseVideoString == $underlineString == CONCATENATE('STRING, $escapeString, '"[4m") +++ +$highlightFontOn == + CONCATENATE("STRING", '" ", $boldString) + +++ +$highlightFontOff == + CONCATENATE("STRING", $normalString, '" ") -- -- User Interface |