search

passingthru67 / workspaces-to-dock

A gnome shell extension that transforms the workspaces into an intellihide dock
https://extensions.gnome.org/extension/427/workspaces-to-dock/
GNU General Public License v3.0
262 stars 54 forks source link

Hide the Gnome Shell Dash does not work #170

Closed ddnexus closed 5 years ago

ddnexus commented 5 years ago

Ubuntu 19.04 GNOME Shell 3.32.0 Xorg WtD Version: Latest in GNOME extensions

The Hide the Gnome Shell Dash does not work. Select or unselect the option, the Dash is always shown.

ddnexus commented 5 years ago

Actually, I should have said that it does not hide the Dock...

passingthru67 commented 5 years ago

@ddnexus Are you referring to the Ubuntu Dock? WtD does not hide the Ubuntu Dock nor Dash-To-Dock. It only hides Gnome-Shell's dash.

ddnexus commented 5 years ago

Sorry, I don't remember that after so long. I am using it fine now, so I am closing the issue. Thanks.