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

2020-06-16 Thread Launchpad Bug Tracker
This bug was fixed in the package gnome-shell-extension-ubuntu-dock -
68ubuntu1~20.04.1

---
gnome-shell-extension-ubuntu-dock (68ubuntu1~20.04.1) focal; urgency=medium

  * No contents change upload to focal
  * debian: Update control and gbp branch references to focal

gnome-shell-extension-ubuntu-dock (68ubuntu1) groovy; urgency=medium

  [ Marco Trevisan (Treviño) ]
  * New upstream stable release

  [ Michele Gaio ]
  * Get dash max size from the container and drop the
bindcontraint machinery (LP: #1870847)
  * Remove padding the dock ends in panel mode (LP: #1873321)

  [ Philip Langdale ]
  * locations: Handle emblemed mount icons

  [ ibaios ]
  * Added Basque localization.

 -- Marco Trevisan (Treviño)   Thu, 07 May 2020
23:06:01 +0200

** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu Focal)
   Status: Fix Committed => Fix Released

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

Title:
  App grid has too many page dots on right

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-dock/+bug/1870847/+subscriptions

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

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

2020-05-24 Thread Daniel van Vugt
** Bug watch added: github.com/micheleg/dash-to-dock/issues #1198
   https://github.com/micheleg/dash-to-dock/issues/1198

** Also affects: ubuntu-dock via
   https://github.com/micheleg/dash-to-dock/issues/1198
   Importance: Unknown
   Status: Unknown

** No longer affects: gnome-shell

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

Title:
  App grid has too many page dots on right

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-dock/+bug/1870847/+subscriptions

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

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

2020-05-14 Thread Daniel van Vugt
** Also affects: gnome-shell (Ubuntu Groovy)
   Importance: Low
   Status: Invalid

** Also affects: gnome-shell-extension-ubuntu-dock (Ubuntu Groovy)
   Importance: Low
 Assignee: Marco Trevisan (Treviño) (3v1n0)
   Status: Fix Released

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

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

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

Title:
  App grid has too many page dots on right

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

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

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

2020-05-14 Thread Bob Harold
Bug 1878712 opened for related but separate bug.

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

Title:
  App grid has too many page dots on right

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

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

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

2020-05-14 Thread Bob Harold
Fixed!
gnome-shell-extension-ubuntu-dock/focal,focal,now 67ubuntu20.04.5 all 
[installed,automatic]

When I click the "Show Applications" button in the lower left, it brings
up a matrix of application icons, which takes a page and a half. There
are now correctly two dots on the right to match the two pages, and
clicking on the dots works properly.

I will open a new bug report - if the dock is on the right, the dots are
hidden behind the dock.  I do not remember if that happened before.


** Tags removed: verification-needed-focal
** Tags added: verification-done-focal

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

Title:
  App grid has too many page dots on right

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

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

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

2020-05-12 Thread Brian Murray
Hello Bob, or anyone else affected,

Accepted gnome-shell-extension-ubuntu-dock into focal-proposed. The
package will build now and be available at
https://launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-
dock/68ubuntu1~20.04.1 in a few hours, and then in the -proposed
repository.

Please help us by testing this new package.  See
https://wiki.ubuntu.com/Testing/EnableProposed for documentation on how
to enable and use -proposed.  Your feedback will aid us getting this
update out to other Ubuntu users.

If this package fixes the bug for you, please add a comment to this bug,
mentioning the version of the package you tested, what testing has been
performed on the package and change the tag from verification-needed-
focal to verification-done-focal. If it does not fix the bug for you,
please add a comment stating that, and change the tag to verification-
failed-focal. In either case, without details of your testing we will
not be able to proceed.

Further information regarding the verification process can be found at
https://wiki.ubuntu.com/QATeam/PerformingSRUVerification .  Thank you in
advance for helping!

N.B. The updated package will be released to -updates after the bug(s)
fixed by this package have been verified and the package has been in
-proposed for a minimum of 7 days.

** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu Focal)
   Status: New => Fix Committed

** Tags added: verification-needed verification-needed-focal

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

Title:
  App grid has too many page dots on right

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

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

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

Title:
  App grid has too many page dots on right

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

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

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

2020-05-07 Thread Launchpad Bug Tracker
This bug was fixed in the package gnome-shell-extension-ubuntu-dock -
68ubuntu1

---
gnome-shell-extension-ubuntu-dock (68ubuntu1) groovy; urgency=medium

  [ Marco Trevisan (Treviño) ]
  * New upstream stable release

  [ Michele Gaio ]
  * Get dash max size from the container and drop the
bindcontraint machinery (LP: #1870847)
  * Remove padding the dock ends in panel mode (LP: #1873321)

  [ Philip Langdale ]
  * locations: Handle emblemed mount icons

  [ ibaios ]
  * Added Basque localization.

 -- Marco Trevisan (Treviño)   Thu, 07 May 2020
23:02:27 +0200

** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
   Status: In Progress => Fix Released

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

Title:
  App grid has too many page dots on right

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

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

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

2020-05-07 Thread Treviño
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
   Status: Confirmed => 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/1870847

Title:
  App grid has too many page dots on right

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

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

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

2020-05-05 Thread Sebastien Bacher
** Tags added: rls-ff-incoming

** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
 Assignee: (unassigned) => Marco Trevisan (Treviño) (3v1n0)

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

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

Title:
  App grid has too many page dots on right

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

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

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

2020-05-04 Thread Daniel van Vugt
** Also affects: gnome-shell-extension-ubuntu-dock (Ubuntu)
   Importance: Undecided
   Status: New

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

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

** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
   Importance: Undecided => Low

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

Title:
  App grid has too many page dots on right

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

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

[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 caused by the dock, and the version 68 of Dash
to Dock fixed this bug. The Ubuntu dock is still in version 67.

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

Title:
  App grid has too many page dots on right

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

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

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

2020-04-21 Thread Sebastien Bacher
** Changed in: gnome-shell (Ubuntu)
   Status: Confirmed => Triaged

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

Title:
  App grid has too many page dots on right

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

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

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

2020-04-07 Thread Daniel van Vugt
** Also affects: gnome-shell via
   https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2597
   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/1870847

Title:
  App grid has too many page dots on right

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

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

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

2020-04-07 Thread biguibi
Reported issue to upstream:
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2597

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

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

Title:
  App grid has too many page dots on right

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

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

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

2020-04-06 Thread Daniel van Vugt
** 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/1870847

Title:
  App grid has too many page dots on right

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

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

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

2020-04-06 Thread Daniel van Vugt
** Summary changed:

- Show Applications has too many dots on right
+ App grid has too many page dots on right

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

Title:
  App grid has too many page dots on right

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

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