starred/terminal
1
0
Fork 0
mirror of https://github.com/microsoft/terminal.git synced 2026-02-03 21:25:34 +00:00
Code Issues 19.0k Packages Projects Releases 20 Wiki Activity

Add Settings Page #1907

New Issue
Closed
opened 2026-01-30 22:41:41 +00:00 by claunia · 5 comments
claunia commented 2026-01-30 22:41:41 +00:00
Owner
Copy Link

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.
claunia commented 2026-01-30 22:41:42 +00:00
Author
Owner
Copy Link

@imjasonmiller commented on GitHub (Jun 22, 2019):

Users who do not want to tinker in the js file ...

Aren't most active users of the terminal familiar with .json files? It makes it much easier to share settings with other users and devices. They briefly touched on this during this talk and mentioned that it was a big ask from the community.
I can imagine that the current implementation might allow developers to move faster as well.

@imjasonmiller commented on GitHub (Jun 22, 2019): > Users who do not want to tinker in the js file ... Aren't most active users of the terminal familiar with `.json` files? It makes it much easier to share settings with other users and devices. They briefly touched on this during [this talk](https://www.youtube.com/watch?v=KMudkRcwjCw&t=1040) and mentioned that it was a big ask from the community. I can imagine that the current implementation might allow developers to move faster as well.
claunia commented 2026-01-30 22:41:43 +00:00
Author
Owner
Copy Link

@josh-degraw commented on GitHub (Jun 22, 2019):

@imjasonmiller I personally don't mind that the config is in json, for me the issue is knowing what can go where. The schema documentation page took me a while to find and was less clear than it could be, and there were things I'd seen other people try with the terminal but couldn't find out how to do it.

What I would love is basically just a wrapper on top of the config file, in a similar way as how VsCode handles configuration. You can use the GUI if you want, or if you prefer or need more advanced config you can open the json file.

Another annoyance for me was that when I hit settings it launched visual studio, and I thought my system was trying to relaunch that after rebooting, so I hit settings again a couple of times and it launched like 5 instances of Visual Studio before it actually opened.

I'm aware that's because VS is the default for that on my machine for some reason, which I will change, but it was still a confusion/hassle.

@josh-degraw commented on GitHub (Jun 22, 2019): @imjasonmiller I personally don't mind that the config is in json, for me the issue is knowing what can go where. The schema documentation page took me a while to find and was less clear than it could be, and there were things I'd seen other people try with the terminal but couldn't find out how to do it. What I would love is basically just a wrapper on top of the config file, in a similar way as how VsCode handles configuration. You can use the GUI if you want, or if you prefer or need more advanced config you can open the json file. Another annoyance for me was that when I hit settings it launched visual studio, and I thought my system was trying to relaunch that after rebooting, so I hit settings again a couple of times and it launched like 5 instances of Visual Studio before it actually opened. I'm aware that's because VS is the default for that on my machine for some reason, which I will change, but it was still a confusion/hassle.
claunia commented 2026-01-30 22:41:43 +00:00
Author
Owner
Copy Link

@csm10495 commented on GitHub (Jun 22, 2019):

I'm going to agree that a settings GUI would be nicer than a json file. I guess if someone really wants to mess with the raw file, they still could. A GUI works better for me since its easier to read and layout than a raw file. We can also have descriptions for the different options.

... reminds me of the similar changes that were made to VS Code to have a settings GUI instead of just a raw json.

@csm10495 commented on GitHub (Jun 22, 2019): I'm going to agree that a settings GUI would be nicer than a json file. I guess if someone really wants to mess with the raw file, they still could. A GUI works better for me since its easier to read and layout than a raw file. We can also have descriptions for the different options. ... reminds me of the similar changes that were made to VS Code to have a settings GUI instead of just a raw json.
claunia commented 2026-01-30 22:41:43 +00:00
Author
Owner
Copy Link

@cinnamon-msft commented on GitHub (Jun 24, 2019):

#1564

@cinnamon-msft commented on GitHub (Jun 24, 2019): #1564
claunia commented 2026-01-30 22:41:43 +00:00
Author
Owner
Copy Link

@Nyameliaaaa commented on GitHub (Jan 16, 2020):

I believe that users who even use the terminal can tinker in raw json, so this is useless.

@Nyameliaaaa commented on GitHub (Jan 16, 2020): I believe that users who even use the terminal can tinker in raw json, so this is useless.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
⛺ Reserved
A11yCO
A11yMAS
A11ySev1
A11ySev2
A11ySev3
A11yTTValidated
A11yUsable
A11yVoiceAccess
A11yWCAG
Area-Accessibility
Area-AtlasEngine
Area-AzureShell
Area-Build
Area-Build
Area-Chat
Area-CmdPal
Area-CodeHealth
Area-Commandline
Area-CookedRead
Area-DefApp
Area-Extensibility
Area-Fonts
Area-GroupPolicy
Area-i18n
Area-Input
Area-Interaction
Area-Interop
Area-Localization
Area-Output
Area-Performance
Area-Portable
Area-Quality
Area-Remoting
Area-Rendering
Area-Schema
Area-Server
Area-Settings
Area-SettingsUI
Area-ShellExtension
Area-ShellExtension
Area-ShellExtension
Area-Suggestions
Area-Suggestions
Area-TerminalConnection
Area-TerminalControl
Area-Theming
Area-UserInterface
Area-VT
Area-Windowing
Area-WPFControl
AutoMerge
Blocking-Ingestion
Culprit-Centennial
Culprit-WinUI
Disability-All
Disability-Blind
Disability-LowVision
Disability-Mobility
External-Blocked-WinUI3
Fixed
Gathering-Data
good first issue
HCL-E+D
HCL-WindowsTerminal
Help Wanted
Impact-Compatibility
Impact-Compliance
Impact-Correctness
Impact-Visual
In-PR
InclusionBacklog
InclusionBacklog-Windows TerminalWin32
InclusionCommitted-202206
Issue-Bug
Issue-Docs
Issue-Feature
Issue-Feature
Issue-Question
Issue-Samples
Issue-Scenario
Issue-Task
Needs-Attention
Needs-Author-Feedback
Needs-Bisect
Needs-Discussion
Needs-Repro
Needs-Tag-Fix
Needs-Tag-Fix
Needs-Triage
No-Recent-Activity
Priority-0
Priority-1
Priority-2
Priority-3
Product-Cmd.exe
Product-Colortool
Product-Colortool
Product-Colortool
Product-Conhost
Product-Conpty
Product-Meta
Product-Powershell
Product-Terminal
Product-WSL
pull-request
Mirrored from GitHub Pull Request
 Resolution-Answered
Resolution-By-Design
Resolution-Duplicate
Resolution-External
Resolution-Fix-Available
Resolution-Fix-Committed
Resolution-No-Repro
Resolution-Won't-Fix
Severity-Blocking
Severity-Crash
Severity-DataLoss
spam
this-will-be-a-breaking-change
Tracking-External
WindowsTerminal_Win32
Work-Item
zAskModeBug
zInbox-Bug
No Label Area-Settings Area-UserInterface Issue-Feature Product-Terminal Resolution-Duplicate
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
claunia
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#1907
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?