In progress: https://gitlab.gnome.org/GNOME/gnome- shell/merge_requests/486
-- You received this bug notification because you are a member of Desktop Packages, 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 Status in GNOME Shell: Confirmed Status in gnome-shell package in Ubuntu: Triaged Bug description: Shell menus (panel, dock, window) font size does not match configured interface font size. Test case: gnome-tweak-tool > Fonts > Interface = (something different) Expected: Shell menus to use the same font size. Observed: Shell menu fonts never change. ProblemType: Bug DistroRelease: Ubuntu 17.10 Package: gnome-shell 3.25.91-0ubuntu5 ProcVersionSignature: Ubuntu 4.12.0-13.14-generic 4.12.10 Uname: Linux 4.12.0-13-generic x86_64 ApportVersion: 2.20.7-0ubuntu1 Architecture: amd64 Date: Fri Sep 15 15:17:15 2017 DisplayManager: gdm3 InstallationDate: Installed on 2017-05-03 (135 days ago) InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170502) SourcePackage: gnome-shell UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1717453/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
