[feature request] insert, swap workspace; alway hide dock

passingthru67 / workspaces-to-dock

A gnome shell extension that transforms the workspaces into an intellihide dock

GNU General Public License v3.0

262 stars 54 forks source link

Open z-huabao opened 5 years ago

z-huabao commented 5 years ago

Insert a workspace above by + and go to the new workspace.
swap workspce by arrow
You see, the dock cover my desktop apps, I'd like always hide dock even no window over desktop. will active dock only by mouse and keyboard.