windowsNavigator: Allow holding ctrl to switch workspaces multiple times (!217) · Merge requests · GNOME / gnome-shell-extensions

The source project of this merge request has been removed.

Akatsuki Rui requested to merge (removed):hold-ctrl into main Feb 18, 2022

Remove "_hideWorkspacesTooltips" in "_onKeyPress" to allow holding ctrl to switch workspaces.

Fixes #164

windowsNavigator: Allow holding ctrl to switch workspaces multiple times