Opened 4 years ago
Last modified 23 months ago
#16836 new enhancement
[Terminal] Implement fast profile switching
Reported by: | bitigchi | Owned by: | jackburton |
---|---|---|---|
Priority: | normal | Milestone: | Unscheduled |
Component: | Applications/Terminal | Version: | R1/beta2 |
Keywords: | Cc: | ||
Blocked By: | Blocking: | ||
Platform: | All |
Description
It is possible to save settings to a file, but implementing the functionality inside the application will be handier. It can be implemented via a split view in settings, from a list view on the left to select profiles from.
Profiles should be importable/exportable to a file.
Attachments (1)
Change History (4)
by , 23 months ago
Attachment: | terminal profiles.png added |
---|
comment:1 by , 23 months ago
comment:2 by , 23 months ago
It’s great, thank you for tackling this!
Perhaps it’d look better between Edit and Settings menu bar items, Settings being the last item and easy to navigate to muscle-memory-wise.
comment:3 by , 23 months ago
Profile should be a popup menu here, it's a quick and dirty mockup... thoughts?
Yes, a pop-up menu labeled "Profile:" in the settings. Maybe something like:
---------------------------- | Default profile | ---------------------------- | {Custom named 1} | | {Custom named 2} | | * {Custom named 3} | | {Custom named 4} | ---------------------------- | Save current settings... | | Remove marked profile | ----------------------------
You start with the "Default profile" (gets a checkmark). When you make changes, the "Default profile" loses its checkmark. If you now close the settings panel, it saves those settings as "Default profile". To get to the original system defaults, use the "Defaults" button at the bottom of the panel.
"Save current settings..." will open a modal window with a BTextControl to enter a name for the profile. It will appear in the pop-up menu (above called "Custom named x").
"Remove marked profile" will remove the profile that currently has the checkmark. Except the "Default profile", which cannot be removed.
A dropdown at the top of the settings window would probably suffice, to allow for tweaking the settings for the selected profile.
And then perhaps a new menu bar item, Profiles, with a menu of the currently available profiles.
Profile should be a popup menu here, it's a quick and dirty mockup... thoughts?