[01:46] <rtcoder> hi darkxst
[01:46] <darkxst> rtcoder, hi
[07:28] <Kapuh> it is possible to scale down gnome.
[07:28] <Kapuh> my resolution is a bit low so everything looks very large.
[07:34] <mgedmin> there's a setting somewhere
[07:41] <Kapuh> mgedmin: i been looking for that but can't find it anywere :/
[07:41] <Kapuh> any hints
[07:42] <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:43] <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:44] <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)
=== toXel_ is now known as toXel
=== rohan_ is now known as rtcoder