New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add new tool to switch workspaces. #1043

Closed

MediosZ wants to merge 1 commit into nikitabobko:main from MediosZ:add-goodies

Contributor

MediosZ commented Jan 26, 2025

This PR adds a new tool to the goodies list. It suggests an open-source tool for switching workspaces using trackpad gestures.


          Add new tool to switch workspaces.

ea4b992

Owner

nikitabobko commented Feb 4, 2025

Thanks, superseded by #1066

nikitabobko closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet