Launchpad has imported 10 comments from the remote bug at https://bugzilla.gnome.org/show_bug.cgi?id=688288.
If you reply to an imported comment from within Launchpad, your comment will be sent to the remote bug automatically. Read more about Launchpad's inter-bugtracker facilities at https://help.launchpad.net/InterBugTracking. ------------------------------------------------------------------------ On 2012-11-13T22:29:13+00:00 Ryan Lerch wrote: Currently, the default font-face for the shell theme is set in the CSS for the theme with the current rule: """ /* default text style */ stage { font-family: cantarell, sans-serif; font-size: 11pt; color: white; } """ However, if a font other than cantarell is chosen for the default font in tweak-tool, cantarell still persists in the shell because of the CSS override. is there anyway to set the default sans-serif font for the shell renderer to be whatever is set as the default? Then the hard-coded cantarell could be removed from the default theme Reply at: https://bugs.launchpad.net/ubuntu/+source/gnome- shell/+bug/1717453/comments/0 ------------------------------------------------------------------------ On 2012-11-13T23:53:58+00:00 Jasper St. Pierre wrote: That's chosen by font-config. I'm not sure how easy it is to hook up to the desktop-font GSetting, considering it has abilities like size and weight: things we typically want to control from the theme ourselves. Reply at: https://bugs.launchpad.net/ubuntu/+source/gnome- shell/+bug/1717453/comments/1 ------------------------------------------------------------------------ On 2013-08-20T10:44:42+00:00 Allan Day wrote: *** Bug 706016 has been marked as a duplicate of this bug. *** Reply at: https://bugs.launchpad.net/ubuntu/+source/gnome- shell/+bug/1717453/comments/2 ------------------------------------------------------------------------ On 2013-08-20T10:45:05+00:00 Allan Day wrote: *** Bug 706251 has been marked as a duplicate of this bug. *** Reply at: https://bugs.launchpad.net/ubuntu/+source/gnome- shell/+bug/1717453/comments/3 ------------------------------------------------------------------------ On 2016-05-03T21:05:14+00:00 Jhasse-t wrote: Hi! I'm willing to work on a fix for this and came up with two ideas: It would be possible to just use sans-serif (set it Cantarell) and let that be changeable via the gnome-tweak-tool. Another alternative would be to use a different alias like "gnome-shell- font-overwrite". This would be unset by default (so that the theme font / Cantarell is used), but could be set by gnome-tweak-tool. What do you think? Reply at: https://bugs.launchpad.net/ubuntu/+source/gnome- shell/+bug/1717453/comments/4 ------------------------------------------------------------------------ On 2016-07-22T04:14:31+00:00 Ryan Lerch wrote: For simplicity sake (and not adding another option), i'd initally choose #1, however i think #2 is the way it should be done. in tweak tool, you can currently set the font face itself, the size, and the style/weighting. However sizes / styles for gnome shell are all done in the CSS, and we just want to set the font-face essentially here, so my +1 is for adding another item/setting for picking the gnome-shell font. One other issue to think about here too is that if a user does set a font that does to override the font in the CSS, any change in the tweak tool will not apply to the gnome-shell theme. Maybe we could recognise this and disable this option if the theme sets something other than sans-serif? Reply at: https://bugs.launchpad.net/ubuntu/+source/gnome- shell/+bug/1717453/comments/5 ------------------------------------------------------------------------ On 2016-07-22T04:14:48+00:00 Ryan Lerch wrote: For simplicity sake (and not adding another option), i'd initally choose #1, however i think #2 is the way it should be done. in tweak tool, you can currently set the font face itself, the size, and the style/weighting. However sizes / styles for gnome shell are all done in the CSS, and we just want to set the font-face essentially here, so my +1 is for adding another item/setting for picking the gnome-shell font. One other issue to think about here too is that if a user does set a font that does to override the font in the CSS, any change in the tweak tool will not apply to the gnome-shell theme. Maybe we could recognise this and disable this option if the theme sets something other than sans-serif? Reply at: https://bugs.launchpad.net/ubuntu/+source/gnome- shell/+bug/1717453/comments/6 ------------------------------------------------------------------------ On 2016-07-22T14:12:20+00:00 Jhasse-t wrote: Hm ... what is the long goal for GNOME Shell themes btw? Because right now it isn't possible to set a font from Gtk themes, but from Shell themes. And I think most people want to have the same font for Gtk and the Shell, so I would say it might be a good idea to ignore the font- family option in Shell themes completely and simplify the GNOME Tweak font settings to sans-serif <- GNOME Shell, Gtk Widgets, ... serif <- Default font for web sites monospace <- Terminal and editor font Reply at: https://bugs.launchpad.net/ubuntu/+source/gnome- shell/+bug/1717453/comments/7 ------------------------------------------------------------------------ On 2017-04-27T19:02:24+00:00 Florian-muellner wrote: *** Bug 781858 has been marked as a duplicate of this bug. *** Reply at: https://bugs.launchpad.net/ubuntu/+source/gnome- shell/+bug/1717453/comments/8 ------------------------------------------------------------------------ On 2019-04-24T07:24:49+00:00 Daniel van Vugt wrote: Downstream bug: https://bugs.launchpad.net/bugs/1717453 Reply at: https://bugs.launchpad.net/ubuntu/+source/gnome- shell/+bug/1717453/comments/13 ** Changed in: gnome-shell Status: Unknown => Confirmed ** Changed in: gnome-shell Importance: Unknown => Medium -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1717453 Title: Shell menus (panel, dock, window) font size does not match configured interface font size To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1717453/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
