Add keybinding for access to Settings #967

Closed
opened 2026-01-30 22:12:40 +00:00 by claunia · 2 comments
Owner

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

Originally assigned to: @timheuer on GitHub.

Early in development and customization I find myself messing with profile.json a lot and launching via the Settings menu. As a terminal I want a quick key binding to this.

Originally created by @timheuer on GitHub (May 10, 2019). Originally assigned to: @timheuer on GitHub. Early in development and customization I find myself messing with profile.json a lot and launching via the Settings menu. As a terminal I want a quick key binding to this.
claunia added the Issue-FeatureArea-UserInterface labels 2026-01-30 22:12:40 +00:00
Author
Owner

@krokofant commented on GitHub (May 10, 2019):

Related #537 when thinking about adding more default keybindings

@krokofant commented on GitHub (May 10, 2019): Related #537 when thinking about adding more default keybindings
Author
Owner

@DHowett-MSFT commented on GitHub (May 14, 2019):

Fixed with #684.

@DHowett-MSFT commented on GitHub (May 14, 2019): Fixed with #684.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#967