Re: [code] ui.highlight_words makes a more confusing experience

From: Mitchell <>
Date: Fri, 24 Jul 2020 09:14:10 -0400 (EDT)

Hi Pedro,

On Thu, 23 Jul 2020, Pedro Andres Aranda Gutierrez wrote:

> Hi Mitchell
> That is a GTK-2.0 workaround which may be good for advanced users. But what
> about GTK3
> users or people in Windows or macOS, where these files are 'more hidden'?
> Wouldn't it make sense to
> write a couple for lines in C and avoid them the fuzz?

Yes, that might be easier in the long run.


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Fri 24 Jul 2020 - 09:14:10 EDT

This archive was generated by hypermail 2.2.0 : Sat 25 Jul 2020 - 06:28:55 EDT