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

From: Franck Guadagnini <franckguadagnini.att.me.com>
Date: Fri, 11 Aug 2017 11:09:00 +0200

Hi Robert,

I haven't found any setting relative to font size nor in "etc" neither in "lib" or "share/themes". I guess, from https://developer.gnome.org/gtk2/stable/gtk2-Resource-Files.html <https://developer.gnome.org/gtk2/stable/gtk2-Resource-Files.html>, I would have to add "font_name = …" *somewhere* in "share/themes/Gnome-Cupertino/gtk-2.0/gtkrc"… I was already using Textredux. Very convenient for open files dialogs. I managed to make it display my own fileteredlist. Much simpler! Thanks.

Cheers,
Franck

> Le 10 août 2017 à 22:46, Robert Gieseke <rob.g.att.web.de> a écrit :
>
> 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/ <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 <mailto:code.att.foicica.com>.
> To change subscription settings, send an e-mail to code+help.att.foicica.com <mailto:code+help.att.foicica.com>.
> To unsubscribe, send an e-mail to code+unsubscribe.att.foicica.com <mailto:code+unsubscribe.att.foicica.com>.

-- 
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 Fri 11 Aug 2017 - 05:09:00 EDT

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