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. Side and bottom placement options are available.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
1. Please fix this Error and send it again: ``` JS ERROR: TypeError: (intermediate value).PressureBarrier is not a constructor _updatePressureBarrier@file:///home/ice/.local/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/docking.js:974:37 _updateAutoHideBarriers@file:///home/ice/.local/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/docking.js:506:14 _initialize@file:///home/ice/.local/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/docking.js:467:14 _init/<@file:///home/ice/.local/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/docking.js:395:39 @resource:///org/gnome/shell/ui/init.js:21:20 ``` 2. What's the reason for using old imports for `Signals`? 3. Please remove the gtk and gdk versions (line 5 and 7 prefs.js). 4. Unnecessary log (line 291 prefs.js).
1. Handled in https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2900 2. signals.js is not exposed by the extensions gresources 3. Done 4. Done.