Re: Certain font sizes can't be configured permanently

2020-09-13 Thread Tony Houghton
There are some special purpose LED displays that may need drivers, but
they're usually specialist items for things like embedded devices or
Raspberry Pi projects. Generally monitors use HDMI and/or Display Port
these days, and you only need a driver for the GPU inside the PC.

On Sun, 13 Sep 2020 at 18:25, Carl-Valentin Schmitt 
wrote:

> Just a question to Tony:
>
> Don't LED Monitors have own graphics card for
> displaying With 4K Screen ? Or is this all entirely Up
> to graphics card on Mainboard ?
>
> Greetz. Val.
>
> Volker Wysk  schrieb am So., 13. Sept. 2020, 14:51:
>
>> Am Sonntag, den 13.09.2020, 13:26 +0100 schrieb Tony Houghton:
>> > I was a bit worried you might need to include a delay and/or change
>> > the setting more than once, but I didn't know how adept you were so I
>> > tried keeping it simple at first. I'm pleased you managed to figure
>> > out a solution when it didn't work first time.
>>
>> Well, I'm a long term Linux user, but I'm relatively new to Gnome. (I
>> used KDE before).
>>
>> Cheers,
>> Volker
>>
>> >
>> > On Sun, 13 Sep 2020 at 10:31, Volker Wysk 
>> > wrote:
>> > > Hi!
>> > >
>> > > Am Samstag, den 12.09.2020, 19:10 +0100 schrieb Tony Houghton:
>> > > > There's something you could try, but it's more of a sticking
>> > > plaster
>> > > > or workaround than a proper fix. Create a file
>> > > > ~/.config/autostart/scaling.desktop containing:
>> > > >
>> > > > [Desktop Entry]
>> > > > Type=Application
>> > > > Exec=gsettings set org.gnome.desktop.interface text-scaling-
>> > > factor
>> > > > 1.6
>> > > > Hidden=false
>> > > > X-GNOME-Autostart-enabled=true
>> > > > Name=Fix Scaling
>> > > > Comment=Set text scaling factor to 1.6
>> > > >
>> > > > I haven't tested that, but hopefully it will work for you, or you
>> > > > will be able to fix it if there's something wrong. For more
>> > > > information, lookup "XDG autostart".
>> > >
>> > > I've been able to tinker it, with your help. I've adjusted the
>> > > scaling.desktop file to start a script instead of calling
>> > > gsettings.
>> > > This is necessary because several commands are needed:
>> > >
>> > > #! /bin/bash
>> > > sleep 1
>> > > gsettings set org.gnome.desktop.interface text-scaling-factor 1.61
>> > > gsettings set org.gnome.desktop.interface text-scaling-factor 1.6
>> > >
>> > > All of them are necessary. Or so it seems.
>> > >
>> > > Now it - somehow - works. :-)
>> > >
>> > > Thanks for your help!
>> > >
>> > > Volker
>> >
>> >
>> ___
>> gnome-list mailing list
>> gnome-list@gnome.org
>> https://mail.gnome.org/mailman/listinfo/gnome-list
>>
>

-- 
TH
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-13 Thread Carl-Valentin Schmitt via gnome-list
Just a question to Tony:

Don't LED Monitors have own graphics card for
displaying With 4K Screen ? Or is this all entirely Up
to graphics card on Mainboard ?

Greetz. Val.

Volker Wysk  schrieb am So., 13. Sept. 2020, 14:51:

> Am Sonntag, den 13.09.2020, 13:26 +0100 schrieb Tony Houghton:
> > I was a bit worried you might need to include a delay and/or change
> > the setting more than once, but I didn't know how adept you were so I
> > tried keeping it simple at first. I'm pleased you managed to figure
> > out a solution when it didn't work first time.
>
> Well, I'm a long term Linux user, but I'm relatively new to Gnome. (I
> used KDE before).
>
> Cheers,
> Volker
>
> >
> > On Sun, 13 Sep 2020 at 10:31, Volker Wysk 
> > wrote:
> > > Hi!
> > >
> > > Am Samstag, den 12.09.2020, 19:10 +0100 schrieb Tony Houghton:
> > > > There's something you could try, but it's more of a sticking
> > > plaster
> > > > or workaround than a proper fix. Create a file
> > > > ~/.config/autostart/scaling.desktop containing:
> > > >
> > > > [Desktop Entry]
> > > > Type=Application
> > > > Exec=gsettings set org.gnome.desktop.interface text-scaling-
> > > factor
> > > > 1.6
> > > > Hidden=false
> > > > X-GNOME-Autostart-enabled=true
> > > > Name=Fix Scaling
> > > > Comment=Set text scaling factor to 1.6
> > > >
> > > > I haven't tested that, but hopefully it will work for you, or you
> > > > will be able to fix it if there's something wrong. For more
> > > > information, lookup "XDG autostart".
> > >
> > > I've been able to tinker it, with your help. I've adjusted the
> > > scaling.desktop file to start a script instead of calling
> > > gsettings.
> > > This is necessary because several commands are needed:
> > >
> > > #! /bin/bash
> > > sleep 1
> > > gsettings set org.gnome.desktop.interface text-scaling-factor 1.61
> > > gsettings set org.gnome.desktop.interface text-scaling-factor 1.6
> > >
> > > All of them are necessary. Or so it seems.
> > >
> > > Now it - somehow - works. :-)
> > >
> > > Thanks for your help!
> > >
> > > Volker
> >
> >
> ___
> gnome-list mailing list
> gnome-list@gnome.org
> https://mail.gnome.org/mailman/listinfo/gnome-list
>
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-13 Thread Volker Wysk
Am Sonntag, den 13.09.2020, 13:26 +0100 schrieb Tony Houghton:
> I was a bit worried you might need to include a delay and/or change
> the setting more than once, but I didn't know how adept you were so I
> tried keeping it simple at first. I'm pleased you managed to figure
> out a solution when it didn't work first time.

Well, I'm a long term Linux user, but I'm relatively new to Gnome. (I
used KDE before). 

Cheers,
Volker

> 
> On Sun, 13 Sep 2020 at 10:31, Volker Wysk 
> wrote:
> > Hi!
> > 
> > Am Samstag, den 12.09.2020, 19:10 +0100 schrieb Tony Houghton:
> > > There's something you could try, but it's more of a sticking
> > plaster
> > > or workaround than a proper fix. Create a file
> > > ~/.config/autostart/scaling.desktop containing:
> > > 
> > > [Desktop Entry]
> > > Type=Application
> > > Exec=gsettings set org.gnome.desktop.interface text-scaling-
> > factor
> > > 1.6
> > > Hidden=false
> > > X-GNOME-Autostart-enabled=true
> > > Name=Fix Scaling
> > > Comment=Set text scaling factor to 1.6
> > > 
> > > I haven't tested that, but hopefully it will work for you, or you
> > > will be able to fix it if there's something wrong. For more
> > > information, lookup "XDG autostart".
> > 
> > I've been able to tinker it, with your help. I've adjusted the
> > scaling.desktop file to start a script instead of calling
> > gsettings.
> > This is necessary because several commands are needed:
> > 
> > #! /bin/bash
> > sleep 1
> > gsettings set org.gnome.desktop.interface text-scaling-factor 1.61
> > gsettings set org.gnome.desktop.interface text-scaling-factor 1.6
> > 
> > All of them are necessary. Or so it seems.
> > 
> > Now it - somehow - works. :-)
> > 
> > Thanks for your help!
> > 
> > Volker
> 
> 


signature.asc
Description: This is a digitally signed message part
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-13 Thread Tony Houghton
I was a bit worried you might need to include a delay and/or change the
setting more than once, but I didn't know how adept you were so I tried
keeping it simple at first. I'm pleased you managed to figure out a
solution when it didn't work first time.

On Sun, 13 Sep 2020 at 10:31, Volker Wysk  wrote:

> Hi!
>
> Am Samstag, den 12.09.2020, 19:10 +0100 schrieb Tony Houghton:
> > There's something you could try, but it's more of a sticking plaster
> > or workaround than a proper fix. Create a file
> > ~/.config/autostart/scaling.desktop containing:
> >
> > [Desktop Entry]
> > Type=Application
> > Exec=gsettings set org.gnome.desktop.interface text-scaling-factor
> > 1.6
> > Hidden=false
> > X-GNOME-Autostart-enabled=true
> > Name=Fix Scaling
> > Comment=Set text scaling factor to 1.6
> >
> > I haven't tested that, but hopefully it will work for you, or you
> > will be able to fix it if there's something wrong. For more
> > information, lookup "XDG autostart".
>
> I've been able to tinker it, with your help. I've adjusted the
> scaling.desktop file to start a script instead of calling gsettings.
> This is necessary because several commands are needed:
>
> #! /bin/bash
> sleep 1
> gsettings set org.gnome.desktop.interface text-scaling-factor 1.61
> gsettings set org.gnome.desktop.interface text-scaling-factor 1.6
>
> All of them are necessary. Or so it seems.
>
> Now it - somehow - works. :-)
>
> Thanks for your help!
>
> Volker
>


-- 
TH
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-13 Thread Volker Wysk
Hi!

Am Samstag, den 12.09.2020, 19:10 +0100 schrieb Tony Houghton:
> There's something you could try, but it's more of a sticking plaster
> or workaround than a proper fix. Create a file
> ~/.config/autostart/scaling.desktop containing:
> 
> [Desktop Entry]
> Type=Application
> Exec=gsettings set org.gnome.desktop.interface text-scaling-factor
> 1.6
> Hidden=false
> X-GNOME-Autostart-enabled=true
> Name=Fix Scaling
> Comment=Set text scaling factor to 1.6
> 
> I haven't tested that, but hopefully it will work for you, or you
> will be able to fix it if there's something wrong. For more
> information, lookup "XDG autostart".

I've been able to tinker it, with your help. I've adjusted the
scaling.desktop file to start a script instead of calling gsettings.
This is necessary because several commands are needed:

#! /bin/bash
sleep 1
gsettings set org.gnome.desktop.interface text-scaling-factor 1.61
gsettings set org.gnome.desktop.interface text-scaling-factor 1.6

All of them are necessary. Or so it seems.

Now it - somehow - works. :-)

Thanks for your help!

Volker


signature.asc
Description: This is a digitally signed message part
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-12 Thread Tony Houghton
There's something you could try, but it's more of a sticking plaster or
workaround than a proper fix. Create a file
~/.config/autostart/scaling.desktop containing:

[Desktop Entry]
Type=Application
Exec=gsettings set org.gnome.desktop.interface text-scaling-factor 1.6
Hidden=false
X-GNOME-Autostart-enabled=true
Name=Fix Scaling
Comment=Set text scaling factor to 1.6

I haven't tested that, but hopefully it will work for you, or you will be
able to fix it if there's something wrong. For more information, lookup
"XDG autostart".

On Sat, 12 Sep 2020 at 15:49, Volker Wysk  wrote:

> Am Samstag, den 12.09.2020, 14:56 +0100 schrieb Tony Houghton:
> > Do you mean that when you load gnome-tweaks, it shows the scaling
> > factor to be 1.6, but the desktop does not use that setting until you
> > change it, then change it back to 1.6?
>
> Exactly.
>
> > This implies that the setting is being saved correctly, but another
> > part of GNOME is failing to honour it at start-up.
>
> Yes, I've thought it was something like that, too.
>
> > Fractional scaling is quite a new feature, so maybe some old integer-
> > only settings have been left behind and are clashing. Try running
> > these commands:
> >
> > gsettings get org.gnome.settings-daemon.plugins.xsettings overrides
> > gsettings get org.gnome.desktop.interface scaling-factor
> > gsettings get org.gnome.desktop.interface text-scaling-factor
> >
> > Based on the Arch wiki page for hidpi, I think the first two are
> > obsolete integer settings and the third is for fractional scaling, so
> > you want the first to show an empty list ('@a{sv} {}'), or at least
> > not contain 'Gdk/WindowScalingFactor', and the second to be zero. The
> > last should show 1.6.
>
> $ gsettings get org.gnome.settings-daemon.plugins.xsettings overrides
> @a{sv} {}
>
> $ gsettings get org.gnome.desktop.interface scaling-factor
> uint32 0
>
> $ gsettings get org.gnome.desktop.interface text-scaling-factor
> 1.6001
>
> > If the first two are not empty/zero, I bet that's what's causing the
> > problem.
>
> Well, they are...
>
> > You should be able to fix it with:
> >
> > gsettings set org.gnome.settings-daemon.plugins.xsettings overrides
> > "[]"
> > gsettings set org.gnome.desktop.interface scaling-factor 0
> >
> > Monitor drivers never really existed, they were just files that
> > contained mode information in the "old days" before EDID etc made it
> > all automatic. They were called drivers to make it simpler for
> > Windows users to understand. In Linux you used to have to edit X
> > config files instead. I'm quite sure they are of no relevance to your
> > current issue.
>
> Yes, it doesn't affect the whole screen. Only font sizes are
> affected... This doesn't look like a "driver" issue to me, too.
>
>
> > On Fri, 11 Sep 2020 at 16:17, Volker Wysk 
> > wrote:
> > > Hi!
> > >
> > > I have a 4k monitor, which means that all the font sizes must be
> > > adjusted. I'm leaving the font sizes in gnome-tweaks alone, and am
> > > setting a scaling factor of 1.6 instead. This worked fine until
> > > about a
> > > week ago.
> > >
> > > But now, after I log in, the configured font sizes don't seem to be
> > > in
> > > effect. The fonts of the top bar, and of the icons on the desktop,
> > > are
> > > tiny again.
> > >
> > > When I change the scaling factor, in gnome-tweaks, the fonts are
> > > back
> > > to the configured size immediately. It's enough to increase it by
> > > 0,01
> > > and set it back to 1.6 again.
> > >
> > > But the next time I log in, it's all back to tiny fonts again.
> > >
> > > Is there any Gnome configuration magic, for how to set it
> > > permanently?
>
>
> Regards,
> Volker
>
>

-- 
TH
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-12 Thread Volker Wysk
Am Samstag, den 12.09.2020, 13:18 +0200 schrieb Carl-Valentin Schmitt:
> You have Ubuntu, right !?

Yes, Ubuntu 20.04.1 LTS.

> Well it is a Bit risky.

:-(

> Could Happen you have then to reconfigure gdm.

I never configured gdm. It works with the default settings. I also
don't get why I should reconfigure it. The display of the top bar and
of desktop icons clearly isn't the responsibility of the display
manager.

> Get informed about how to adjust gdm as
> booting main graphical Manager in Ubuntu Forum.
> 
> When Monitor ist really "crazy new" (=without driver)
> Then you don't need to reinstall gnome and gdm with sudo apt-get.

I bought it in January. 

> I simply then would be patient and wait some months
> for driver. You might ask at Ubuntu.

I don't think it is a driver issue. But I could be patient and wait
some months for the bug to be fixed.

Cheers,
Volker

> Volker Wysk  schrieb am Sa., 12. Sept. 2020,
> 12:42:
> > Am Freitag, den 11.09.2020, 18:00 +0200 schrieb Carl-Valentin
> > Schmitt:
> > > How about
> > > Install and Reinstall
> > > all Gnome packages ?
> > > 
> > > sudo apt-get Install --reinstall gdm Gnome ?
> > 
> > Are you serious? I don't want to toast my system. Is this safe?
> > 
> > That "Gnome" in the apt-get command should be "gnome", shouldn't
> > it?
> > 
> > Regards,
> > Volker
> > 
> > 
> > > Greetz. Val.
> > > 
> > > Volker Wysk  schrieb am Fr., 11. Sept. 2020,
> > > 17:17:
> > > > Hi!
> > > > 
> > > > I have a 4k monitor, which means that all the font sizes must
> > be
> > > > adjusted. I'm leaving the font sizes in gnome-tweaks alone, and
> > am
> > > > setting a scaling factor of 1.6 instead. This worked fine until
> > > > about a
> > > > week ago.
> > > > 
> > > > But now, after I log in, the configured font sizes don't seem
> > to be
> > > > in
> > > > effect. The fonts of the top bar, and of the icons on the
> > desktop,
> > > > are
> > > > tiny again. 
> > > > 
> > > > When I change the scaling factor, in gnome-tweaks, the fonts
> > are
> > > > back
> > > > to the configured size immediately. It's enough to increase it
> > by
> > > > 0,01
> > > > and set it back to 1.6 again.
> > > > 
> > > > But the next time I log in, it's all back to tiny fonts again.
> > > > 
> > > > Is there any Gnome configuration magic, for how to set it
> > > > permanently?
> > > > 
> > > > Cheers,
> > > > Volker
> > > > ___
> > > > gnome-list mailing list
> > > > gnome-list@gnome.org
> > > > https://mail.gnome.org/mailman/listinfo/gnome-list


signature.asc
Description: This is a digitally signed message part
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-12 Thread Volker Wysk
Am Samstag, den 12.09.2020, 14:56 +0100 schrieb Tony Houghton:
> Do you mean that when you load gnome-tweaks, it shows the scaling
> factor to be 1.6, but the desktop does not use that setting until you
> change it, then change it back to 1.6? 

Exactly.

> This implies that the setting is being saved correctly, but another
> part of GNOME is failing to honour it at start-up. 

Yes, I've thought it was something like that, too.

> Fractional scaling is quite a new feature, so maybe some old integer-
> only settings have been left behind and are clashing. Try running
> these commands:
> 
> gsettings get org.gnome.settings-daemon.plugins.xsettings overrides
> gsettings get org.gnome.desktop.interface scaling-factor
> gsettings get org.gnome.desktop.interface text-scaling-factor
> 
> Based on the Arch wiki page for hidpi, I think the first two are
> obsolete integer settings and the third is for fractional scaling, so
> you want the first to show an empty list ('@a{sv} {}'), or at least
> not contain 'Gdk/WindowScalingFactor', and the second to be zero. The
> last should show 1.6. 

$ gsettings get org.gnome.settings-daemon.plugins.xsettings overrides
@a{sv} {}

$ gsettings get org.gnome.desktop.interface scaling-factor
uint32 0

$ gsettings get org.gnome.desktop.interface text-scaling-factor
1.6001

> If the first two are not empty/zero, I bet that's what's causing the
> problem. 

Well, they are...

> You should be able to fix it with:
> 
> gsettings set org.gnome.settings-daemon.plugins.xsettings overrides
> "[]"
> gsettings set org.gnome.desktop.interface scaling-factor 0
> 
> Monitor drivers never really existed, they were just files that
> contained mode information in the "old days" before EDID etc made it
> all automatic. They were called drivers to make it simpler for
> Windows users to understand. In Linux you used to have to edit X
> config files instead. I'm quite sure they are of no relevance to your
> current issue.

Yes, it doesn't affect the whole screen. Only font sizes are
affected... This doesn't look like a "driver" issue to me, too.


> On Fri, 11 Sep 2020 at 16:17, Volker Wysk 
> wrote:
> > Hi!
> > 
> > I have a 4k monitor, which means that all the font sizes must be
> > adjusted. I'm leaving the font sizes in gnome-tweaks alone, and am
> > setting a scaling factor of 1.6 instead. This worked fine until
> > about a
> > week ago.
> > 
> > But now, after I log in, the configured font sizes don't seem to be
> > in
> > effect. The fonts of the top bar, and of the icons on the desktop,
> > are
> > tiny again. 
> > 
> > When I change the scaling factor, in gnome-tweaks, the fonts are
> > back
> > to the configured size immediately. It's enough to increase it by
> > 0,01
> > and set it back to 1.6 again.
> > 
> > But the next time I log in, it's all back to tiny fonts again.
> > 
> > Is there any Gnome configuration magic, for how to set it
> > permanently?


Regards,
Volker



signature.asc
Description: This is a digitally signed message part
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-12 Thread Tony Houghton
Do you mean that when you load gnome-tweaks, it shows the scaling factor to
be 1.6, but the desktop does not use that setting until you change it, then
change it back to 1.6? This implies that the setting is being saved
correctly, but another part of GNOME is failing to honour it at start-up.
Fractional scaling is quite a new feature, so maybe some old integer-only
settings have been left behind and are clashing. Try running these commands:

gsettings get org.gnome.settings-daemon.plugins.xsettings overrides
gsettings get org.gnome.desktop.interface scaling-factor
gsettings get org.gnome.desktop.interface text-scaling-factor

Based on the Arch wiki page for hidpi, I think the first two are obsolete
integer settings and the third is for fractional scaling, so you want the
first to show an empty list ('@a{sv} {}'), or at least not
contain 'Gdk/WindowScalingFactor', and the second to be zero. The last
should show 1.6. If the first two are not empty/zero, I bet that's what's
causing the problem. You should be able to fix it with:

gsettings set org.gnome.settings-daemon.plugins.xsettings overrides "[]"
gsettings set org.gnome.desktop.interface scaling-factor 0

Monitor drivers never really existed, they were just files that contained
mode information in the "old days" before EDID etc made it all automatic.
They were called drivers to make it simpler for Windows users to
understand. In Linux you used to have to edit X config files instead. I'm
quite sure they are of no relevance to your current issue.

On Fri, 11 Sep 2020 at 16:17, Volker Wysk  wrote:

> Hi!
>
> I have a 4k monitor, which means that all the font sizes must be
> adjusted. I'm leaving the font sizes in gnome-tweaks alone, and am
> setting a scaling factor of 1.6 instead. This worked fine until about a
> week ago.
>
> But now, after I log in, the configured font sizes don't seem to be in
> effect. The fonts of the top bar, and of the icons on the desktop, are
> tiny again.
>
> When I change the scaling factor, in gnome-tweaks, the fonts are back
> to the configured size immediately. It's enough to increase it by 0,01
> and set it back to 1.6 again.
>
> But the next time I log in, it's all back to tiny fonts again.
>
> Is there any Gnome configuration magic, for how to set it permanently?
>
> Cheers,
> Volker
> ___
> gnome-list mailing list
> gnome-list@gnome.org
> https://mail.gnome.org/mailman/listinfo/gnome-list
>


-- 
TH
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-12 Thread Carl-Valentin Schmitt via gnome-list
You have Ubuntu, right !?

Well it is a Bit risky.

Could Happen you have then to reconfigure gdm.

Get informed about how to adjust gdm as
booting main graphical Manager in Ubuntu Forum.

When Monitor ist really "crazy new" (=without driver)
Then you don't need to reinstall gnome and gdm with sudo apt-get.

I simply then would be patient and wait some months
for driver. You might ask at Ubuntu.

Greetz. Val.



Volker Wysk  schrieb am Sa., 12. Sept. 2020, 12:42:

> Am Freitag, den 11.09.2020, 18:00 +0200 schrieb Carl-Valentin Schmitt:
> > How about
> > Install and Reinstall
> > all Gnome packages ?
> >
> > sudo apt-get Install --reinstall gdm Gnome ?
>
> Are you serious? I don't want to toast my system. Is this safe?
>
> That "Gnome" in the apt-get command should be "gnome", shouldn't it?
>
> Regards,
> Volker
>
>
> > Greetz. Val.
> >
> > Volker Wysk  schrieb am Fr., 11. Sept. 2020,
> > 17:17:
> > > Hi!
> > >
> > > I have a 4k monitor, which means that all the font sizes must be
> > > adjusted. I'm leaving the font sizes in gnome-tweaks alone, and am
> > > setting a scaling factor of 1.6 instead. This worked fine until
> > > about a
> > > week ago.
> > >
> > > But now, after I log in, the configured font sizes don't seem to be
> > > in
> > > effect. The fonts of the top bar, and of the icons on the desktop,
> > > are
> > > tiny again.
> > >
> > > When I change the scaling factor, in gnome-tweaks, the fonts are
> > > back
> > > to the configured size immediately. It's enough to increase it by
> > > 0,01
> > > and set it back to 1.6 again.
> > >
> > > But the next time I log in, it's all back to tiny fonts again.
> > >
> > > Is there any Gnome configuration magic, for how to set it
> > > permanently?
> > >
> > > Cheers,
> > > Volker
> > > ___
> > > gnome-list mailing list
> > > gnome-list@gnome.org
> > > https://mail.gnome.org/mailman/listinfo/gnome-list
>
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-12 Thread Volker Wysk
Am Samstag, den 12.09.2020, 00:47 +0200 schrieb SchmiTTT:
> 
> Assumed - 4K monitor (LED?) - is brandish and new ...

Yes, it is.

> (new means fresh built in recent 6 months (within February until End
> of August as build-date) )
> 
> then it is a matter of driver. 

How could that be? The scaling factor applies to fonts only. It must be
a Gnome thing, isn't it?

And I didn't have to do anything with the driver. It just worked. Then
it suddenly broke.

Regards, 
Volker

> And you have to wait until March. Then driver would be (might be)
> available.
> 
> Or you write driver yourself. This would mean too that monitor suits
> to graphics card.
> 
> 
> 
> Am 11.09.20 um 18:00 schrieb Carl-Valentin Schmitt:
> > How about
> > Install and Reinstall
> > all Gnome packages ?
> > 
> > sudo apt-get install --reinstall gdm Gnome ?
> > 
> > Greetz. Val.
> > 
> > Volker Wysk  schrieb am Fr., 11. Sept. 2020,
> > 17:17:
> > > Hi!
> > > 
> > > I have a 4k monitor, which means that all the font sizes must be
> > > adjusted. I'm leaving the font sizes in gnome-tweaks alone, and
> > > am
> > > setting a scaling factor of 1.6 instead. This worked fine until
> > > about a
> > > week ago.
> > > 
> > > But now, after I log in, the configured font sizes don't seem to
> > > be in
> > > effect. The fonts of the top bar, and of the icons on the
> > > desktop, are
> > > tiny again. 
> > > 
> > > When I change the scaling factor, in gnome-tweaks, the fonts are
> > > back
> > > to the configured size immediately. It's enough to increase it by
> > > 0,01
> > > and set it back to 1.6 again.
> > > 
> > > But the next time I log in, it's all back to tiny fonts again.
> > > 
> > > Is there any Gnome configuration magic, for how to set it
> > > permanently?
> > > 
> > > Cheers,
> > > Volker
> > > ___
> > > gnome-list mailing list
> > > gnome-list@gnome.org
> > > https://mail.gnome.org/mailman/listinfo/gnome-list
> > > 


signature.asc
Description: This is a digitally signed message part
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-12 Thread Volker Wysk
Am Freitag, den 11.09.2020, 18:00 +0200 schrieb Carl-Valentin Schmitt:
> How about
> Install and Reinstall
> all Gnome packages ?
> 
> sudo apt-get Install --reinstall gdm Gnome ?

Are you serious? I don't want to toast my system. Is this safe?

That "Gnome" in the apt-get command should be "gnome", shouldn't it?

Regards,
Volker


> Greetz. Val.
> 
> Volker Wysk  schrieb am Fr., 11. Sept. 2020,
> 17:17:
> > Hi!
> > 
> > I have a 4k monitor, which means that all the font sizes must be
> > adjusted. I'm leaving the font sizes in gnome-tweaks alone, and am
> > setting a scaling factor of 1.6 instead. This worked fine until
> > about a
> > week ago.
> > 
> > But now, after I log in, the configured font sizes don't seem to be
> > in
> > effect. The fonts of the top bar, and of the icons on the desktop,
> > are
> > tiny again. 
> > 
> > When I change the scaling factor, in gnome-tweaks, the fonts are
> > back
> > to the configured size immediately. It's enough to increase it by
> > 0,01
> > and set it back to 1.6 again.
> > 
> > But the next time I log in, it's all back to tiny fonts again.
> > 
> > Is there any Gnome configuration magic, for how to set it
> > permanently?
> > 
> > Cheers,
> > Volker
> > ___
> > gnome-list mailing list
> > gnome-list@gnome.org
> > https://mail.gnome.org/mailman/listinfo/gnome-list


signature.asc
Description: This is a digitally signed message part
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-11 Thread SchmiTTT via gnome-list


Assumed - 4K monitor (LED?) - is brandish and new ...

(new means fresh built in recent 6 months (within February until End of 
August as build-date) )


then it is a matter of driver. And you have to wait until March. Then 
driver would be (might be) available.


Or you write driver yourself. This would mean too that monitor suits to 
graphics card.



Am 11.09.20 um 18:00 schrieb Carl-Valentin Schmitt:

How about
Install and Reinstall
all Gnome packages ?

sudo apt-get install --reinstall gdm Gnome ?

Greetz. Val.

Volker Wysk mailto:p...@volker-wysk.de>> schrieb 
am Fr., 11. Sept. 2020, 17:17:


Hi!

I have a 4k monitor, which means that all the font sizes must be
adjusted. I'm leaving the font sizes in gnome-tweaks alone, and am
setting a scaling factor of 1.6 instead. This worked fine until
about a
week ago.

But now, after I log in, the configured font sizes don't seem to be in
effect. The fonts of the top bar, and of the icons on the desktop, are
tiny again.

When I change the scaling factor, in gnome-tweaks, the fonts are back
to the configured size immediately. It's enough to increase it by 0,01
and set it back to 1.6 again.

But the next time I log in, it's all back to tiny fonts again.

Is there any Gnome configuration magic, for how to set it permanently?

Cheers,
Volker
___
gnome-list mailing list
gnome-list@gnome.org 
https://mail.gnome.org/mailman/listinfo/gnome-list


___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-11 Thread Carl-Valentin Schmitt via gnome-list
How about
Install and Reinstall
all Gnome packages ?

sudo apt-get Install --reinstall gdm Gnome ?

Greetz. Val.

Volker Wysk  schrieb am Fr., 11. Sept. 2020, 17:17:

> Hi!
>
> I have a 4k monitor, which means that all the font sizes must be
> adjusted. I'm leaving the font sizes in gnome-tweaks alone, and am
> setting a scaling factor of 1.6 instead. This worked fine until about a
> week ago.
>
> But now, after I log in, the configured font sizes don't seem to be in
> effect. The fonts of the top bar, and of the icons on the desktop, are
> tiny again.
>
> When I change the scaling factor, in gnome-tweaks, the fonts are back
> to the configured size immediately. It's enough to increase it by 0,01
> and set it back to 1.6 again.
>
> But the next time I log in, it's all back to tiny fonts again.
>
> Is there any Gnome configuration magic, for how to set it permanently?
>
> Cheers,
> Volker
> ___
> gnome-list mailing list
> gnome-list@gnome.org
> https://mail.gnome.org/mailman/listinfo/gnome-list
>
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Re: Certain font sizes can't be configured permanently

2020-09-11 Thread Volker Wysk
P.S.:

The version of gnome-tweaks is 3.34.0-2ubuntu1 on my machine.
It's 1:3.36.4-0ubuntu1 for gnome-control-center. I don't know why both
of them don't match.

Bye,
Volker


signature.asc
Description: This is a digitally signed message part
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list


Certain font sizes can't be configured permanently

2020-09-11 Thread Volker Wysk
Hi!

I have a 4k monitor, which means that all the font sizes must be
adjusted. I'm leaving the font sizes in gnome-tweaks alone, and am
setting a scaling factor of 1.6 instead. This worked fine until about a
week ago.

But now, after I log in, the configured font sizes don't seem to be in
effect. The fonts of the top bar, and of the icons on the desktop, are
tiny again. 

When I change the scaling factor, in gnome-tweaks, the fonts are back
to the configured size immediately. It's enough to increase it by 0,01
and set it back to 1.6 again.

But the next time I log in, it's all back to tiny fonts again.

Is there any Gnome configuration magic, for how to set it permanently?

Cheers,
Volker


signature.asc
Description: This is a digitally signed message part
___
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list