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

[Feature request] Horizontal workspaces switching shortcut #200

Open matiasnbella opened 4 years ago

matiasnbella commented 4 years ago

Screenshot-20200514014042-422x23

Thanks for your time!

passingthru67 commented 4 years ago

@FrankVitelli Use the Ctrl + Alt + Left/Right Arrow key.

matiasnbella commented 4 years ago

@passingthru67 Doesn't seem to be working though, maybe it's a bug? I've tested with/without all other extensions enabled and the behaviour is still not present. I also followed the instructions in the bug reporting section but to no avail.

should I open another issue? For reference:

Linux Distribution version

Pop!_Os 20.04

Gnome Shell version

3.36.1

Xorg or Wayland (or both)

x11

Extension version or branch

Master

ImranR98 commented 4 years ago

Also having this issue on Pop!_OS 20.04.

dlbnco commented 4 years ago

Try checking your dconf keys at:

ImranR98 commented 4 years ago

Try checking your dconf keys at:

* `/org/gnome/desktop/wm/keybindings/switch-to-workspace-left`

* `/org/gnome/desktop/wm/keybindings/switch-to-workspace-right`

Thanks! This worked. I'm not familiar with GNOME extension development, but maybe this could be automated by calling the right gsettings set command during installation?

dlbnco commented 4 years ago

Thanks! This worked. I'm not familiar with GNOME extension development, but maybe this could be automated by calling the right gsettings set command during installation?

Well, mine were already set (I'm on Manjaro). Maybe it's an OS thing?