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.
I've found this bug accidentally when I open many apps on one workspace then I switch back and forth between workspaces until I notice that the dash height is abnormally big. Re-enabling the extension fixes the problem.
Extensions Possibly Affected:
Dash to Dock
Space Bar
Steps to Reproduce:
Fill up the dock by mounting hard drives or opening unpinned apps until the icons become smaller
Click the "+" icon on the Space Bar extension (Dynamic workspaces must be enabled)
On the Space Bar extension, click on the workspace where the dock was filled with icons
Repeat steps 2 and 3 until you notice that the pinned and unpinned apps separator will expand first, and then the dock will expand abnormally next
I've found this bug accidentally when I open many apps on one workspace then I switch back and forth between workspaces until I notice that the dash height is abnormally big. Re-enabling the extension fixes the problem.
Extensions Possibly Affected:
Steps to Reproduce:
Attachments:
https://github.com/micheleg/dash-to-dock/assets/81696556/1fa02a3b-120a-4c70-967b-5c0f46cba1cd