rtcoder | hi darkxst | 01:46 |
---|---|---|
darkxst | rtcoder, hi | 01:46 |
Kapuh | it is possible to scale down gnome. | 07:28 |
Kapuh | my resolution is a bit low so everything looks very large. | 07:28 |
mgedmin | there's a setting somewhere | 07:34 |
Kapuh | mgedmin: i been looking for that but can't find it anywere :/ | 07:41 |
Kapuh | any hints | 07:41 |
mgedmin | gnome-tweak-tool has hidpi mode somewhere | 07:42 |
mgedmin | but it lies a little bit | 07:42 |
mgedmin | it looks like an on/off switch, but it actually toggles between two states out of three possible: on/off/auto | 07:42 |
mgedmin | the two possible states that gnome-tweak-tool allows are on/auto | 07:42 |
mgedmin | the gsettings setting underneath allows all three | 07:42 |
craysiii | i hate when things lie | 07:42 |
mgedmin | you may be able to find it with dconf-editor | 07:43 |
mgedmin | it'll be something about scaling | 07:43 |
mgedmin | org.gnome.desktop.interface scaling-factor | 07:43 |
mgedmin | 0 means auto 1 is off 2 is 2x scaling aka hidpi mode | 07:43 |
Kapuh | cool. im gonna take at look at that. thanks alot. | 07:44 |
mgedmin | (there's a second independent setting called text-scaling-factor; you can set that one to fractional values as well) | 07:44 |
=== toXel_ is now known as toXel | ||
=== rohan_ is now known as rtcoder |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!