Keyboard shortcut for 10th profile doesn't work #1128

Open
opened 2026-01-30 22:17:07 +00:00 by claunia · 0 comments
Owner

Originally created by @timheuer on GitHub (May 15, 2019).

When you have more than 10 profiles, using the key shortcut CTRL+SHIFT+0 to launch the 10th profile doesn't work. No-op.

Repro:
Load profiles.json
Copy one profile and paste it 11 more times (changing GUID)
Save profiles.json
Iterate through profile launching using CTRL+SHIFT+1 , 2, 3, etc. but when get to 0 it fails and doesn't launch that profile.

Originally created by @timheuer on GitHub (May 15, 2019). When you have more than 10 profiles, using the key shortcut CTRL+SHIFT+0 to launch the 10th profile doesn't work. No-op. Repro: Load profiles.json Copy one profile and paste it 11 more times (changing GUID) Save profiles.json Iterate through profile launching using CTRL+SHIFT+1 , 2, 3, etc. but when get to 0 it fails and doesn't launch that profile.
claunia added the Area-SettingsIssue-BugArea-InputArea-Accessibility labels 2026-01-30 22:17:08 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#1128