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

From: Mitchell <m.att.foicica.com>
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" {
     font_name="monospace"
   }
   widget"textadept*GtkEntry" style "mono"

Cheers,
Mitchell

-- 
You are subscribed to code.att.foicica.com.
To change subscription settings, send an e-mail to code+help.att.foicica.com.
To unsubscribe, send an e-mail to code+unsubscribe.att.foicica.com.
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