Re: [code][Textadept] Change font size of ui.dialogs.filteredlist

From: Robert Gieseke <rob.g.att.web.de>
Date: Thu, 10 Aug 2017 22:46:31 +0200

Hi Franck,

the GUI settings are done in GTK resource files, have a look in
Textadept.app/Contents/Resources/etc/

However, have you tried Textredux?

http://rgieseke.github.io/textredux/

It gives you (among other things) a filtered list which uses the same
text size or font as the editing buffer.

Cheers,
Robert

Am 10/08/17 um 11:55 schrieb Franck Guadagnini:
> Hi,
>
> Default font size of ui.dialogs.filteredlist's items on macOS is too small for
> my eyes (from the attached screenshot, can you tell the difference between
> various diacritics?). Could you provide an option to change it?
>
> Best,
> Franck
>

-- 
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 Thu 10 Aug 2017 - 16:46:31 EDT

This archive was generated by hypermail 2.2.0 : Fri 11 Aug 2017 - 06:51:40 EDT