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

From: Mitchell <>
Date: Wed, 22 Jul 2020 19:21:15 -0400 (EDT)

Hi Pedro,

On Tue, 21 Jul 2020, Pedro Andres Aranda Gutierrez wrote:

> [snip]
> And a very stupid request... Could the find dialog use mono fonts, please?
> This makes things so much cleaner when working with regular expressions

After some investigation, I discovered that you can do this with GTK Resource files. Put the following in your *~/.gtkrc-2.0*:

   style "mono" {
   widget"textadept*GtkEntry" style "mono"


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Wed 22 Jul 2020 - 19:21:15 EDT

This archive was generated by hypermail 2.2.0 : Thu 23 Jul 2020 - 06:35:25 EDT