Add Settings Page #1904

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

Originally created by @ThePharaohArt on GitHub (Jun 22, 2019).

Summary of the new feature/enhancement

Users who do not want to tinker in the js file to get the desired settings would have a better time in the settings enabling or disabling certain features. Or changing the font much more easily.

Proposed technical implementation details (optional)

When clicking on the settings option it should open up a page where one would be able to easily change their settings as they please via a GUI and not through a JS text editor.

Originally created by @ThePharaohArt on GitHub (Jun 22, 2019). # Summary of the new feature/enhancement <!-- Add a proper settings page for Windows Terminal A clear and concise description of what the problem is that the new feature would solve. Describe why and how a user would use this new functionality (if applicable). -->Users who do not want to tinker in the js file to get the desired settings would have a better time in the settings enabling or disabling certain features. Or changing the font much more easily. # Proposed technical implementation details (optional) <!-- A clear and concise description of what you want to happen. --> When clicking on the settings option it should open up a page where one would be able to easily change their settings as they please via a GUI and not through a JS text editor.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#1904