[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

[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

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

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

[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