On Wed, 07 Sep 2016 11:51:34 +0000, Christian Stadelmann wrote:
Same as for all gnome (Gtk+ 3.x) applications: use gnome-tweak-tool
and
change the font size or the font scaling factor.
OK. I didn't have that app, but dnf installed it. However,
neither info gnome-tweak-tool nor "man:gnome-tweak-tool" in Konqueror
gives anything about using it.
I tried the command line (twice):
[btth@localhost ~]$ gnome-tweak-tool &
[1] 3788
[btth@localhost ~]$ WARNING : Shell not installed or running
WARNING : Error detecting shell
Traceback (most recent call last):
File "/usr/lib/python2.7/site-packages/gtweak/tweaks/
tweak_group_shell_extensions.py", line 275, in __init__
raise Exception("Shell not running or DBus service not available")
Exception: Shell not running or DBus service not available
WARNING : Shell not running
None
^C
[1]+ Done gnome-tweak-tool
[btth@localhost ~]$ gnome-tweak-tool &
[1] 3862
[btth@localhost ~]$ WARNING : Shell not installed or running
WARNING : Error detecting shell
Traceback (most recent call last):
File "/usr/lib/python2.7/site-packages/gtweak/tweaks/
tweak_group_shell_extensions.py", line 275, in __init__
raise Exception("Shell not running or DBus service not available")
Exception: Shell not running or DBus service not available
WARNING : Shell not running
None
However neither 1.25 nor 1.5 as a scaling factor seemed to bring
about any change.
I'll try logging out and back in.