[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2020-03-04 Thread Daniel van Vugt
** Tags removed: fixed-upstream -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717453 Title: Shell menus (panel, dock, window) font size does not match configured interface font size To manage

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2020-03-02 Thread Daniel van Vugt
** No longer affects: gnome-shell ** Tags added: focal -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717453 Title: Shell menus (panel, dock, window) font size does not match configured

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2020-03-02 Thread Daniel van Vugt
Sadly this still doesn't work in 3.35.91-1ubuntu2 ** Changed in: gnome-shell (Ubuntu) Status: Fix Released => Confirmed ** Changed in: gnome-shell (Ubuntu) Assignee: Marco Trevisan (Treviño) (3v1n0) => (unassigned) -- You received this bug notification because you are a member of

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2020-03-02 Thread Launchpad Bug Tracker
This bug was fixed in the package gnome-shell - 3.35.91-1ubuntu2 --- gnome-shell (3.35.91-1ubuntu2) focal; urgency=medium * control: Fix package for Yaru Breaks. It's called `yaru-theme-gnome-shell` and not `yaru-theme` * control: Bump Breaks on appindicator and

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2020-02-19 Thread Treviño
** Changed in: gnome-shell (Ubuntu) Status: Triaged => In Progress ** Changed in: gnome-shell (Ubuntu) Assignee: (unassigned) => Marco Trevisan (Treviño) (3v1n0) -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu.

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2019-12-03 Thread Daniel van Vugt
I haven't verified it myself yet, but it looks like this has been fixed upstream in gnome-shell 3.36 (!486). ** Tags added: fixed-upstream -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717453

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2019-10-29 Thread Daniel van Vugt
** Tags added: desktop-lts-wishlist -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717453 Title: Shell menus (panel, dock, window) font size does not match configured interface font size To

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2019-07-21 Thread Daniel van Vugt
** Tags removed: cosmic -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717453 Title: Shell menus (panel, dock, window) font size does not match configured interface font size To manage

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2019-06-17 Thread Daniel van Vugt
Fix in progress: https://gitlab.gnome.org/GNOME/gnome- shell/merge_requests/486 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717453 Title: Shell menus (panel, dock, window) font size does not

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2019-04-24 Thread Bug Watch Updater
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

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2019-04-24 Thread Daniel van Vugt
** Bug watch added: bugzilla.gnome.org/ #688288 https://bugzilla.gnome.org/show_bug.cgi?id=688288 ** Also affects: gnome-shell via https://bugzilla.gnome.org/show_bug.cgi?id=688288 Importance: Unknown Status: Unknown ** Changed in: gnome-shell (Ubuntu) Status: Confirmed =>

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2019-03-24 Thread Daniel van Vugt
** Tags removed: artful gnome-17.10 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717453 Title: Shell menus (panel, dock, window) font size does not match configured interface font size To

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2018-12-09 Thread Daniel van Vugt
** Changed in: gnome-shell (Ubuntu) Importance: Undecided => Medium -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717453 Title: Shell menus (panel, dock, window) font size does not match

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2018-08-18 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: gnome-shell (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717453 Title:

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2018-08-08 Thread Daniel van Vugt
** Tags added: bionic cosmic -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717453 Title: Shell menus (panel, dock, window) font size does not match configured interface font size To manage

[Bug 1717453] Re: Shell menus (panel, dock, window) font size does not match configured interface font size

2017-09-15 Thread Daniel van Vugt
See also bug 1717456 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1717453 Title: Shell menus (panel, dock, window) font size does not match configured interface font size To manage