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)

terminal profiles.png (33.7 KB ) - added by jessicah 23 months ago.

Download all attachments as: .zip

Change History (4)

by jessicah, 23 months ago

Attachment: terminal profiles.png added

comment:1 by jessicah, 23 months ago

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?

comment:2 by bitigchi, 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 humdinger, 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.

Version 0, edited 23 months ago by humdinger (next)
Note: See TracTickets for help on using tickets.