Fixed via:
- https://gitlab.gnome.org/GNOME/mutter/merge_requests/3
- https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/5
** Changed in: gnome-shell
Importance: Medium => Undecided
** Changed in: gnome-shell
Status: In Progress => New
** Changed in: gnome-shell
Remote watch: GNOME Bug Tracker #765011 => None
** Changed in: gnome-shell
Status: New => Fix Released
** Changed in: gnome-shell
Assignee: (unassigned) => Marco Trevisan (Treviño) (3v1n0)
** Changed in: gnome-shell (Ubuntu)
Status: In Progress => Fix Released
** Changed in: gnome-shell (Ubuntu)
Milestone: ubuntu-18.04 => ubuntu-19.10
** Changed in: gnome-shell (Ubuntu)
Milestone: ubuntu-19.10 => None
--
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/1732054
Title:
Different monitors with different DPIs aren't properly scaled
To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1732054/+subscriptions
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
