mirror of
https://github.com/AvengeMedia/DankMaterialShell.git
synced 2026-01-26 22:42:50 -05:00
bar(ws): add option to show name (#1223)
This commit is contained in:
@@ -35,6 +35,15 @@ Item {
|
||||
onToggled: checked => SettingsData.set("showWorkspaceIndex", checked)
|
||||
}
|
||||
|
||||
SettingsToggleRow {
|
||||
settingKey: "showWorkspaceName"
|
||||
tags: ["workspace", "name", "labels"]
|
||||
text: I18n.tr("Workspace Names")
|
||||
description: I18n.tr("Show workspace name on horizontal bars, and first letter on vertical bars")
|
||||
checked: SettingsData.showWorkspaceName
|
||||
onToggled: checked => SettingsData.set("showWorkspaceName", checked)
|
||||
}
|
||||
|
||||
SettingsToggleRow {
|
||||
settingKey: "showWorkspacePadding"
|
||||
tags: ["workspace", "padding", "minimum"]
|
||||
|
||||
Reference in New Issue
Block a user