[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
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-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
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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
  - Update maintainer to ubuntu
+ debian/gbp.conf: update branch to point to ubuntu/master
+ debian/patches/x11-Add-support-for-fractional-scaling-using-Randr.patch:
  - X11: Add support for fractional scaling using Randr
  * d/p/x11-Add-support-for-fractional-scaling-using-Randr.patch:
- Refreshed.

 -- Marco Trevisan (TreviƱo)   Wed, 10 Apr 2019
20:12:29 -0500

** Changed in: mutter (Ubuntu Disco)
   Status: Fix Committed => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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 (Ubuntu Disco)
   Status: Triaged => Invalid

** Tags added: fixed-in-3.32.1

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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)

** Changed in: mutter (Ubuntu Disco)
   Status: In Progress => Triaged

** Changed in: mutter (Ubuntu Disco)
 Assignee: Daniel van Vugt (vanvugt) => (unassigned)

** No longer affects: gnome-shell (Ubuntu Bionic)

** No longer affects: mutter (Ubuntu Bionic)

** Tags added: fixed-upstream

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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: mutter (Ubuntu Cosmic)
   Importance: Undecided
   Status: New

** Also affects: gnome-shell (Ubuntu Cosmic)
   Importance: Undecided
   Status: New

** Changed in: gnome-shell (Ubuntu Cosmic)
   Status: New => Triaged

** Changed in: gnome-shell (Ubuntu Cosmic)
   Importance: Undecided => High

** Changed in: mutter (Ubuntu Cosmic)
   Status: New => Triaged

** Changed in: mutter (Ubuntu Cosmic)
   Importance: Undecided => High

** Also affects: mutter (Ubuntu Bionic)
   Importance: Undecided
   Status: New

** Also affects: gnome-shell (Ubuntu Bionic)
   Importance: Undecided
   Status: New

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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 #1049
   https://gitlab.gnome.org/GNOME/gnome-shell/issues/1049

** Also affects: gnome-shell via
   https://gitlab.gnome.org/GNOME/gnome-shell/issues/1049
   Importance: Unknown
   Status: Unknown

** Also affects: mutter (Ubuntu)
   Importance: Undecided
   Status: New

** Changed in: mutter (Ubuntu)
 Assignee: (unassigned) => Daniel van Vugt (vanvugt)

** Changed in: mutter (Ubuntu)
   Importance: Undecided => High

** Changed in: mutter (Ubuntu)
   Status: New => In Progress

-- 
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/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1803319

Title:
  GNOME Shell task bar menus not updated with external monitor primary
  and laptop screen fractionally scaled

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1803319/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs