** 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 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:
In Progress
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 : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
