[Bug 1876889] Re: Jiggling Frequent/All/page buttons at low resolutions

2020-05-20 Thread Daniel van Vugt
** Changed in: gnome-shell
   Importance: Unknown => Undecided

** Changed in: gnome-shell
   Status: Unknown => New

** Changed in: gnome-shell
 Remote watch: gitlab.gnome.org/GNOME/gnome-shell/-/issues #2758 => None

** Changed in: gnome-shell
   Status: New => Invalid

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell-extension-ubuntu-dock
in Ubuntu.
https://bugs.launchpad.net/bugs/1876889

Title:
  Jiggling Frequent/All/page buttons at low resolutions

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

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

[Bug 1876889] Re: Jiggling Frequent/All/page buttons at low resolutions

2020-05-20 Thread Sebastien Bacher
The issue is another dash to dock one, workaround

$ gsettings set org.gnome.shell.extensions.dash-to-dock extend-height
false

** Package changed: gnome-shell (Ubuntu) => gnome-shell-extension-
ubuntu-dock (Ubuntu)

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

Title:
  Jiggling Frequent/All/page buttons at low resolutions

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

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

[Bug 1876889] Re: Jiggling Frequent/All/page buttons at low resolutions

2020-05-19 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users.

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

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

Title:
  Jiggling Frequent/All/page buttons at low resolutions

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

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

[Bug 1876889] Re: Jiggling Frequent/All/page buttons at low resolutions

2020-05-06 Thread Daniel van Vugt
** Also affects: gnome-shell via
   https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2758
   Importance: Unknown
   Status: Unknown

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

Title:
  Jiggling Frequent/All/page buttons at low resolutions

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

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

[Bug 1876889] Re: Jiggling Frequent/All/page buttons at low resolutions

2020-05-06 Thread Roger Light
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2758

** Bug watch added: gitlab.gnome.org/GNOME/gnome-shell/-/issues #2758
   https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2758

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

Title:
  Jiggling Frequent/All/page buttons at low resolutions

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

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