[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-04-22 Thread Daniel van Vugt
Since there's no one left with 18.10 experiencing this bug I am going to say "Won't fix" in 18.10. ** Changed in: mutter (Ubuntu Cosmic) Status: Triaged => Won't Fix -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-04-17 Thread Michael Thayer
Seemed to work when I tested it yesterday (I do not always have access to the test set-up). So assuming fixed. Thank you. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1803319 Title: GNOME Shell t

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-04-11 Thread Launchpad Bug Tracker
This bug was fixed in the package mutter - 3.32.0+git20190410-1ubuntu1 --- mutter (3.32.0+git20190410-1ubuntu1) disco; urgency=medium * Merge with debian git snapshot (LP: #1820542), remaining changes: + debian/control: - Update VCS flags to point to launchpad - Upda

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-04-10 Thread Daniel van Vugt
Fix committed via Debian: mutter (3.32.0+git20190410-1) experimental; urgency=medium ** Changed in: mutter (Ubuntu Disco) Status: Triaged => Fix Committed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-04-10 Thread Launchpad Bug Tracker
** Merge proposal linked: https://code.launchpad.net/~3v1n0/ubuntu/+source/mutter/+git/mutter/+merge/365833 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1803319 Title: GNOME Shell task bar menu

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-04-02 Thread Daniel van Vugt
** Changed in: mutter (Ubuntu Cosmic) Assignee: (unassigned) => Daniel van Vugt (vanvugt) ** Changed in: mutter (Ubuntu Disco) Assignee: (unassigned) => Daniel van Vugt (vanvugt) ** Changed in: gnome-shell (Ubuntu Cosmic) Status: Triaged => Invalid ** Changed in: gnome-shell (Ub

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-03-31 Thread Daniel van Vugt
As a workaround try adding this to your /etc/environment: CLUTTER_PAINT=disable-culling -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1803319 Title: GNOME Shell task bar menus not updated with exte

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-03-29 Thread Michael Thayer
Sounds reasonable. Thanks for letting me know. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1803319 Title: GNOME Shell task bar menus not updated with external monitor primary and laptop screen

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-03-28 Thread Daniel van Vugt
I think for Ubuntu 19.04 we'd probably just wait for upstream mutter release 3.32.1 which will contain the fix. ** Changed in: gnome-shell (Ubuntu Disco) Status: In Progress => Triaged ** Changed in: gnome-shell (Ubuntu Disco) Assignee: Daniel van Vugt (vanvugt) => (unassigned) ** Ch

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-03-28 Thread Daniel van Vugt
** Tags added: disco ** Also affects: mutter (Ubuntu Disco) Importance: High Assignee: Daniel van Vugt (vanvugt) Status: In Progress ** Also affects: gnome-shell (Ubuntu Disco) Importance: High Assignee: Daniel van Vugt (vanvugt) Status: In Progress ** Also affects:

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-03-28 Thread Michael Thayer
Please let me know when there Ubuntu packages I can test. I have upgraded to 19.04. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1803319 Title: GNOME Shell task bar menus not updated with external

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-03-28 Thread Bug Watch Updater
** Changed in: gnome-shell Status: Unknown => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1803319 Title: GNOME Shell task bar menus not updated with external monitor primary

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2019-03-28 Thread Daniel van Vugt
** Changed in: gnome-shell (Ubuntu) Assignee: (unassigned) => Daniel van Vugt (vanvugt) ** Changed in: gnome-shell (Ubuntu) Importance: Undecided => High ** Changed in: gnome-shell (Ubuntu) Status: New => In Progress ** Bug watch added: gitlab.gnome.org/GNOME/gnome-shell/issues #1

[Bug 1803319] Re: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally scaled

2018-11-14 Thread Daniel van Vugt
** Tags added: hidpi multimonitor -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1803319 Title: GNOME Shell task bar menus not updated with external monitor primary and laptop screen fractionally s