Make Open JSON file easier to discover #17624

Open
opened 2026-01-31 05:48:03 +00:00 by claunia · 0 comments
Owner

Originally created by @a5hk on GitHub (Jun 4, 2022).

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.

image

Proposed technical implementation details (optional)

I think it can be added to this menu:

image

Originally created by @a5hk on GitHub (Jun 4, 2022). <!-- 🚨🚨🚨🚨🚨🚨🚨🚨🚨🚨 I ACKNOWLEDGE THE FOLLOWING BEFORE PROCEEDING: 1. If I delete this entire template and go my own path, the core team may close my issue without further explanation or engagement. 2. If I list multiple bugs/concerns in this one issue, the core team may close my issue without further explanation or engagement. 3. If I write an issue that has many duplicates, the core team may close my issue without further explanation or engagement (and without necessarily spending time to find the exact duplicate ID number). 4. If I leave the title incomplete when filing the issue, the core team may close my issue without further explanation or engagement. 5. If I file something completely blank in the body, the core team may close my issue without further explanation or engagement. All good? Then proceed! --> # 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. ![image](https://user-images.githubusercontent.com/5412540/171995491-4ba53e72-d9aa-4cbc-b407-ec2c32908517.png) <!-- 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). --> # Proposed technical implementation details (optional) I think it can be added to this menu: ![image](https://user-images.githubusercontent.com/5412540/171995636-1c4a5959-adf2-4c5c-a6d9-9405af17cf70.png) <!-- A clear and concise description of what you want to happen. -->
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#17624