Why GNOME Shell has hardcoded “Cantarell 11”? https://gitlab.gnome.org/GNOME/gnome-shell/blob/master/data/theme/gnome-shell-sass/_common.scss#L30
GNOME has gsetting called /org/gnome/desktop/interface/font-name — GNOME enforces GTK to use that font. Of course I understand that GS uses its own shell toolkit instead GTK but why shell does not read that gsetting too?
fmuellner
(Florian Müllner)
April 7, 2019, 9:38pm
2
In short: history.
In the early days, hardcoding was the easiest option to change the default:
https://bugzilla.gnome.org/show_bug.cgi?id=634226
Then nobody got around writing a patch:
https://bugzilla.gnome.org/show_bug.cgi?id=688288
2 Likes
Thanks for info. Is there any chance to fix that issue in GNOME3? Or, is there any chance to fix that in next major release? What do you think, is it hard to fix?
fmuellner
(Florian Müllner)
April 8, 2019, 4:31pm
4
It is probably not very hard. I cannot test right now, but the following should work (or at the very least not be too far from it):
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/486
1 Like
sri
(sri)
April 10, 2019, 9:17pm
5
Would you accept a patch? If so, what would be the parameters under which you would approve it in case some enterprising person wants to hang on it?
fmuellner
(Florian Müllner)
April 10, 2019, 9:22pm
6
I already wrote one myself, so tentatively yes (unless I’m giving @tbernard a heart attach).
1 Like
sri
(sri)
April 10, 2019, 9:45pm
7
Oh excellent, good to know. I assume this will go into tweaks then.
fmuellner
(Florian Müllner)
April 10, 2019, 9:49pm
8
The current MR uses the existing font-name
setting in org.gnome.desktop.interface
, so unless we add another key, it already has UI in Tweaks.
3 Likes
system
(system)
Closed
April 24, 2019, 9:49pm
9
This topic was automatically closed 14 days after the last reply. New replies are no longer allowed.