Thank you very much Ken, the second hint worked perfectly. Note that I had to manually create the ~/.config/gtk-3.0/settings.ini file though.
> Le 26 févr. 2018 à 03:46, Ken Cunningham <[email protected]> a > écrit : > > > >> On Feb 25, 2018, at 5:06 PM, M B via macports-users >> <[email protected]> wrote: > >> I have not been able to find the information about how to change the size of >> the font in gtk apps installed via macports. >> >> Can someone help me solve this issue ? Where should I look ? Gtk preferences >> ? XQuartz preferences ? Where and how ? >> >> Thanks a lot. > > > For gtk2 based software, I’ve had pretty good luck with a port called > "gtk-chtheme”. > > Here’s the current settings file I have: > > $ cat .gtkrc-2.0 > # -- THEME AUTO-WRITTEN DO NOT EDIT > include "/opt/local/share/themes/Adwaita/gtk-2.0/gtkrc" > > style "user-font" { > font_name = "Helvetica 12" > } > > widget_class "*" style "user-font" > > gtk-font-name="Helvetica 12” > > > > For gtk3 based software, I don’t presently know of a gui based tool in > MacPorts (probably there is one). I just edit the settings file manually. > > Here’s my current one: > > $ cat ~/.config/gtk-3.0/settings.ini > [Settings] > > # theme names Adwaita, HighContrast, HighContrastInverse, and Raleigh > # Fonts DejaVu Sans > gtk-enable-animations = 0 > gtk-enable-tooltips = 0 > gtk-icon-theme-name = Adwaita > gtk-theme-name = Adwaita > gtk-font-name = Sans 14 > > > I don’t use the +quartz based variants so I don’t know how to set those up. > > I hope this is helpful for you/ > > Best, > > Ken
