[Desktop-packages] [Bug 1889102] Re: [ubuntu-dock] App grid has too many page dots on right

2020-10-12 Thread Pedro Ryan
Version 69 of Dash to Dock fixed this bug, at least in my tests. Can someone else test if it works? Disable Ubuntu Dock in Extensions app and install version 69 of Dash to Dock in extensions.gnome.com -- You received this bug notification because you are a member of Desktop Packages, which is

[Desktop-packages] [Bug 1872268] Re: Gnome Shell completely freezes in Ubuntu 20.04 when clicking outside of app icon folders

2020-05-18 Thread Pedro Ryan
I couldn't reproduce the bug without Ubuntu Dock. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1872268 Title: Gnome Shell completely freezes in Ubuntu 20.04 when clicking

[Desktop-packages] [Bug 1872268] Re: Gnome Shell completely freezes in Ubuntu 20.04 when clicking outside of app icon folders

2020-05-15 Thread Pedro Ryan
In my experience, when I open an app and meanwhile open and close a folder the GNOME freezes. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1872268 Title: Gnome Shell completely

[Desktop-packages] [Bug 1870847] Re: App grid has too many page dots on right

2020-05-15 Thread Pedro Ryan
That's odd... for me, with Ubuntu Dock v68 in GNOME 3.36.1, the bug no longer happen. But when I updated to GNOME 3.36.2, the bug appeared again. Does it happen to someone else? Does that even make sense? -- You received this bug notification because you are a member of Desktop Packages, which

[Desktop-packages] [Bug 1870847] Re: App grid has too many page dots on right

2020-05-12 Thread Pedro Ryan
This bug is fixed in groovy, but shouldn't it be fixed in focal? -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1870847 Title: App grid has too many page

[Desktop-packages] [Bug 1870847] Re: App grid has too many page dots on right

2020-05-04 Thread Pedro Ryan
I disabled the Ubuntu Dock extension using the Gnome Extensions app and tried to reproduce the bug, and the bug didn't happen anymore. When I installed the Dash to Dock extension by the Gnome Extensions site, and tried to reproduce the error, nothing wrong happened. I think that the bug is