On Fri, 8 Jun 2018, Sven Schreiber wrote:
Hi,
shouldn't it be possible (leveraging existing Gtk tools I mean) to get
syntax-coloring also in the gretl console? Not necessarily before the next
release, but in principle nowadays that's expected I guess.
A little tricky, since we don't want highlighting applied to the
output that appears in the console. But this should now be OK in git.
Snapshots will follow later.
One limitation: I don't think we can support choice of highlighting
styles (as in the script editor). The thing is you can't just "turn
highlighting off" temporarily, to suppress it you have to insert the
text in question with a set of "tags" that imposes a plain look.
That's easy enough with the default GtkSourceView style: set
foreground to black and weight to medium. But this could fail
miserably if the highlighting style had, say, a dark background.
Allin