Add ability to select a default profile. (#144)

* add default profile

* check profile

* default profiles add translations

* default profiles check for profile removal
This commit is contained in:
leb-kuchen 2024-02-26 04:47:52 +01:00 committed by GitHub
parent 1b0d018e43
commit d4f1e1cd12
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 28 additions and 2 deletions

View file

@ -219,6 +219,7 @@ pub struct Config {
pub syntax_theme_dark: String,
pub syntax_theme_light: String,
pub focus_follow_mouse: bool,
pub default_profile: Option<ProfileId>,
}
impl Default for Config {
@ -241,6 +242,7 @@ impl Default for Config {
syntax_theme_dark: "COSMIC Dark".to_string(),
syntax_theme_light: "COSMIC Light".to_string(),
use_bright_bold: false,
default_profile: None,
}
}
}