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.
Since this._container no longer exists (gnome-shell@b58119d5c6?) in GNOME 47, allocating the entire overview would fail and the shell was non-functional.
Fixes:
Gjs-CRITICAL **: 17:10:01.720: JS ERROR: TypeError: actor is undefined
findIndexForActor@resource:///org/gnome/shell/ui/layout.js:992:22
findMonitorForActor@resource:///org/gnome/shell/ui/layout.js:999:26
_prepareMainDash/<@file:///home/dan/.local/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/docking.js:2233:52
@resource:///org/gnome/shell/ui/init.js:21:20
Since
this._container
no longer exists (gnome-shell@b58119d5c6?) in GNOME 47, allocating the entire overview would fail and the shell was non-functional.Fixes: