Tagged #customization:

• 2024-05-14 Configure Keyboard Shortcuts for GNOME Workspace Switching