oldk1331 wrote: > > The escape code for bold font is wrong, this was fixed in > openaxiom a long time ago.
Change to escape code is OK. But note that escape codes are terminal-specific, code which wants to work on wide variety of terminals would use terminfo or ncurses. Concerning turning highlit on by defaut, I have some doubts. First, do users really want it by default? Second, due to hardcoded escape code highlit will work on some (probably most) platforms, but not on all. > diff --git a/src/interp/macros.lisp b/src/interp/macros.lisp > index 5ef5ef6e..c8c55cfb 100644 > --- a/src/interp/macros.lisp > +++ b/src/interp/macros.lisp > @@ -60,7 +60,7 @@ > (def-boot-val |$quadSymbol| $boxString "displays an APL quad") > (def-boot-val $escapeString (string (code-char 27)) > "string for single escape character") > -(def-boot-val |$boldString| (concatenate 'string $escapeString "[12m") > +(def-boot-val |$boldString| (concatenate 'string $escapeString "[1m") > "switch into bold font") > (def-boot-val |$normalString| (concatenate 'string $escapeString "[0;10m") > "switch back into normal font") > diff --git a/src/interp/setvart.boot b/src/interp/setvart.boot > index 281ff95a..74584522 100644 > --- a/src/interp/setvart.boot > +++ b/src/interp/setvart.boot > @@ -331,7 +331,7 @@ > LITERALS > $highlightAllowed > (on off) > - off) > + on) > (instant > "present instantiation summary" > development > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to fricas-devel+unsubscr...@googlegroups.com. > To post to this group, send email to fricas-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/d/optout. > -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
