Skip to content
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.

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

profile-selectors hotkey for groups #10008

Closed
BaccanoMob opened this issue Oct 16, 2024 · 2 comments · Fixed by #10015
Closed

profile-selectors hotkey for groups #10008

BaccanoMob opened this issue Oct 16, 2024 · 2 comments · Fixed by #10015

Comments

@BaccanoMob
Copy link

Currently these are the hotkeys in Tabby for profile-selector

image

It is restrictive to a particular connection type. While individual connection/saved layout can be assigned a hotkey when opening as new tab, but groups (with a set of connections and/or saved layouts mixed up) does not have a hotkey to open as profile-selector.

For example, I have a group set up for a particular project or work with some different connections and saved layouts. I want to avoid opening profile-selector with a large number of options but only for a particular group which I set the needed connections/layouts.

@Clem-Fern
Copy link
Contributor

+1

I'll be happy to submit a PR to implement this feature if @Eugeny is OK with it.

@Eugeny
Copy link
Owner

Eugeny commented Oct 18, 2024

Sure, sounds good!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants