Repeating that the user can edit the settings in each section is not very nice, we need to find a way around this.
A profile is a collection of
The available
Profile name.
Font and background colors.
If you have two or more profiles defined, you can change the profile in
your current
To create a new profile with the default settings of
Select
In the sidebar, click on the
Enter a name for the new profile. You can change this name later.
Click
Set your desired profile preferences. These will be saved automatically.
You can create a new profile based on settings from an existing profile:
Select
In the sidebar select the profile on which your new profile should be based.
Click on the arrow next to the profile name.
Select
Enter a name for the new profile. You can change this name later.
Click
Set your desired profile preferences. These will be saved automatically.
Creating a new profile from an existing profile will not affect settings in an existing profile. Any changes to settings will be stored in the new profile.
If the default profile is edited, it cannot be restored to its
original settings! If you have not already created any other
You can make changes to existing profiles. To edit a profile:
Select
Your current profile is selected in the sidebar. If you wish to edit a different profile, click on its name.
Once the desired profile is selected, you can:
Select font,
cursor shapes and
You may also change behavior of
To change the
Changes to profile are saved immediately. To return to
You can rename existing profiles, including the default profile:
Select
Select the profile you wish to rename.
Click on the arrow next to the profile name.
Select
Enter the new profile name.
Click
To delete a profile:
Select
Select the profile you wish to delete.
Click on the arrow next to the profile name.
Select
Click
The default profile cannot be deleted. If you wish to delete that profile, first set another profile as default.
The default profile is loaded when a new terminal is opened unless you have selected another profile. Any changes that you make to the settings will be stored in the currently selected profile.
The default profile is used when
Select
Select the profile you wish to set as the default.
Click on the arrow next to the profile name.
Select
The default profile is marked with a check mark symbol.