diff options
| author | David Leal <65901588+dlealmt@users.noreply.github.com> | 2023-11-05 19:25:50 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-05 19:25:50 +0000 |
| commit | 0476e1b498265f12d719da522a615c19241a076d (patch) | |
| tree | 9ba2935c94f043effe1970ffe001021910cb4d68 /src/config | |
| parent | a122271f096076ab34750dbbf6914422e7481410 (diff) | |
groups: add option to configure font name (#3751)
Diffstat (limited to 'src/config')
| -rw-r--r-- | src/config/ConfigManager.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/config/ConfigManager.cpp b/src/config/ConfigManager.cpp index f5b9416b..760e9e87 100644 --- a/src/config/ConfigManager.cpp +++ b/src/config/ConfigManager.cpp @@ -129,6 +129,7 @@ void CConfigManager::setDefaultVars() { configValues["group:insert_after_current"].intValue = 1; configValues["group:focus_removed_window"].intValue = 1; + configValues["group:groupbar:font_family"].strValue = "Sans"; configValues["group:groupbar:font_size"].intValue = 8; configValues["group:groupbar:gradients"].intValue = 1; configValues["group:groupbar:render_titles"].intValue = 1; |