Re: Coloring error and warning messages in the gui console

[Torsten]

On 10.05.2017 10:15, Pantxo wrote:
> 
> 
> 
> Torsten-3 wrote
>> I am currently working on possible ways to color error and warning
>> messages in the gui console window. The unix based terminal offers
>> filters for highlighting matched "hotspots". Unfortunately, the elements
>> painted for highlighting lead to ugly artefacts when scrolling.
>> Consequently, this filter method is currently only used for underlining
>> clickable links (files for opening in the editor or urls) when the mouse
>> cursor is hovering over them.
>>
>> For the text colors of error and warning messages I would like to insert
>> suitable escape sequences into the message strings as implemented in the
>> patch attached to comment #9 of bug #35619
>> (https://savannah.gnu.org/bugs/?35619#comment9)
>> Before pushing this patch, I would like to know whether there are any
>> objections against changing one of octaves core files (error.cc) only
>> for "cosmetic" reasons.
>>
>> Best,
>> Torsten
> 
> Hi,
> 
> Lachlan had proposed to go this route in a patch he proposed. You may want
> to look at JWE's answer there:
> https://savannah.gnu.org/patch/?9024
> 
> Pantxo
> 

Pantxo, thanks for pointing out Lachlans patch, which I have totally
missed. I agree that on the long run, a new solution for the console
window, which does depend on the platform, is required. Maybe we can
still implement affordable solutions in the meantime.

Torsten