I recently switched to ubuntu/gnome due to my having replaced my 1920x1200 laptop by a a new 4K-capable machine: the old setup that I copied over did not handle scaling to my satisfaction.
Pretty much everything on the new system meets my expectations with the exception of the gnome-shell-related stuff especially anything where text is involved — menus, notifications, calendar, overview searches… etc.
I ended up following some advice I found elsewhere that recommended creating a gnome-shell css file with a global font size definition and tweaking that to my desiderata.
The file that I created as $HOME/.themes/yaru-dark/gnome-shell/gnome-shell.csscontains the following:
stage {
font-size: 7pt;
color: #3D3D3D; }
The small (7pt) point size causes text that is handled by gnome shell to adjust perfectly with the rest of my desktop - i.e. everything that is handled by applications.
The problem that I am having is that even though the preferences set via the tweak-tool appear to stick (the gnome-shell setting still says "Yaru-dark") after a restart… in reality the actual size of the text handled by gnome-shell is reset to the much larger default size as if gnome had decided to ignore the custom 7pt font size I have defined in the .css file.
As a workaround I soon found that if I used the tweak tool to switch to a different shell/theme and then switched back to Yaru-dark everything was back to where it should be.
This is annoying!
Any way I could make this custom setting stick for good?
