Create Settings window in GUI #8396

Closed
opened 2026-01-31 01:28:22 +00:00 by claunia · 2 comments
Owner

Originally created by @dantheman213 on GitHub (May 21, 2020).

Description of the new feature/enhancement

The settings should be able to be modified through a GUI and not just by editing a JSON file.

Proposed technical implementation details (optional)

Create a GUI window with the settings there to be quickly modified.

Originally created by @dantheman213 on GitHub (May 21, 2020). # Description of the new feature/enhancement The settings should be able to be modified through a GUI and not just by editing a JSON file. # Proposed technical implementation details (optional) Create a GUI window with the settings there to be quickly modified.
claunia added the Issue-FeatureResolution-Duplicate labels 2026-01-31 01:28:22 +00:00
Author
Owner

@DHowett commented on GitHub (May 21, 2020):

Thanks for the request. This is already being tracked by /dup #1564.

@DHowett commented on GitHub (May 21, 2020): Thanks for the request. This is already being tracked by /dup #1564.
Author
Owner

@ghost commented on GitHub (May 21, 2020):

Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!

@ghost commented on GitHub (May 21, 2020): Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#8396