diff options
author | dos-reis <gdr@axiomatics.org> | 2007-12-05 15:21:34 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-12-05 15:21:34 +0000 |
commit | 0f49f0ce5faacecee97407b01a197ed427d76671 (patch) | |
tree | f38bd322c6558495c4b9aff36fdb8316ccda6ced /src/interp/sys-constants.boot | |
parent | 0b55ab972c6a20ae32884d532b8a9603b2e0303b (diff) | |
download | open-axiom-0f49f0ce5faacecee97407b01a197ed427d76671.tar.gz |
* macros.lisp (|$highlightAllowed|): Remove.
(|$lightlightFontOn|): Likewise.
(|$highlightFontOff|): Likewise.
* patches.lisp (|$highlightAllowed|): Move to sys-globals.boot.
(|$lightlightFontOn|): Move to sys-constants.boot
(|$lightlightFontOff|): Likewise.
* setvart.boot ($setOptions): Make highlighting default.
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 |