New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Make Open JSON file easier to discover #13225
Comments
You can also get to the JSON file by holding down Shift and clicking on the "Settings" menu item, my pressing Ctrl+Shift+,, or by opening the command palette with Ctrl+Shift+P and searching for Are any of those sufficient? |
I first learned about the settings file through UI. Now that I know a JSON settings file exists, the last option is sufficient for me, I won't forget that one. However, the command is "Open settings file", searching |
Looks like that string doesn't actually have "JSON" in it - should it? (part of #1571 would also cover the ability to add your own actions to the new tab menu, so you could feel free to add a "Open JSON" action that way) |
Discussion:
|
Related: #10354, sometimes "settings file" is clearer, sometimes "json", but consistency is even more important IMO |
![image](https://user-images.githubusercontent.com/18356694/173090336-3512ee36-ae8b-41d5-8823-09cb1354c7ef.png) * [x] Closes #13225 (cherry picked from commit dc8183a) Service-Card-Id: 83524146 Service-Version: 1.14
🎉This issue was addressed in #13265, which has now been successfully released as Handy links: |
🎉This issue was addressed in #13265, which has now been successfully released as Handy links: |
Description of the new feature/enhancement
Once in a while I want to change something in the JSON settings file, and many times I spend several minutes to find that option. It mostly happens when the window is maximized. The button is too far away from the rest of the options.
Proposed technical implementation details (optional)
I think it can be added to this menu:
The text was updated successfully, but these errors were encountered: