Merge pull request #777 from MrDowntempo/fix/BetterWorkspaceWidget

Fix/better workspace widget and TaskbarGrouped
This commit is contained in:
Lemmy
2025-11-16 20:50:32 -05:00
committed by GitHub
4 changed files with 41 additions and 18 deletions
@@ -44,7 +44,8 @@ ColumnLayout {
{
"key": "name",
"name": I18n.tr("options.workspace-labels.name")
}, {
},
{
"key": "index+name",
"name": I18n.tr("options.workspace-labels.index+name")
}]
@@ -40,6 +40,10 @@ ColumnLayout {
{
"key": "name",
"name": I18n.tr("options.workspace-labels.name")
},
{
"key": "index+name",
"name": I18n.tr("options.workspace-labels.index+name")
}
]
currentKey: widgetData.labelMode || widgetMetadata.labelMode