search

micheleg / dash-to-dock

A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
https://micheleg.github.io/dash-to-dock/
GNU General Public License v2.0
3.86k stars 461 forks source link

UDENG-3111: allow to disable an icon in the dock during updates #2241

Closed sergio-costas closed 3 months ago

sergio-costas commented 3 months ago

This is the same PR than #2240, but to merge in ubuntu-dock branch.

sergio-costas commented 3 months ago

@3v1n0 @vanvugt Can you review this when you have some spare time, please?

vanvugt commented 3 months ago

It would avoid confusion and duplication of effort to only propose one branch at a time. So I'll close this temporarily and please see #2240 for additional comments.

Once approved on master, we don't need to review it again when cherry-picking to ubuntu-dock.

sergio-costas commented 3 months ago

Good point. Agree.