Give user an opportunity to disable a built-in shortcut #15421

Open
opened 2026-01-31 04:38:12 +00:00 by claunia · 0 comments
Owner

Originally created by @0x7FFFFFFFFFFFFFFF on GitHub (Oct 2, 2021).

Description of the new feature/enhancement

The built-in shortcut conflicts to my own cli program and I want to disable it. I tried to add an entry to settings.json to assign a new shortcut, but the old built-in one still works. There seems no way to disable a built-in shortcut. Please add a method for users to disable them if necessary. Thanks.

Originally created by @0x7FFFFFFFFFFFFFFF on GitHub (Oct 2, 2021). # Description of the new feature/enhancement The built-in shortcut conflicts to my own cli program and I want to disable it. I tried to add an entry to settings.json to assign a new shortcut, but the old built-in one still works. There seems no way to disable a built-in shortcut. Please add a method for users to disable them if necessary. Thanks.
claunia added the Issue-FeatureNeeds-TriageNeeds-Tag-Fix labels 2026-01-31 04:38:12 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#15421