Merge pull request #136 from MichaelThomas0721/main

Added setting for workspace names.
Thanks for your contribution.  I'll most likely rework it a tiny bit to make it more aesthetic later today.
This commit is contained in:
Lemmy 2025-08-26 12:04:01 -04:00 committed by GitHub
commit 8140ddc2ff
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 25 additions and 0 deletions

View file

@ -161,6 +161,21 @@ Item {
Rectangle {
id: workspacePill
anchors.fill: parent
Loader {
anchors.centerIn: parent
active: Settings.data.bar.showWorkspaceNames
sourceComponent: Component {
Text {
text: model.name.substring(0,2)
font.pointSize: Style.fontSizeXS * scaling
horizontalAlignment: Text.AlignHCenter
verticalAlignment: Text.AlignVCenter
wrapMode: Text.Wrap
}
}
}
radius: {
if (model.isFocused)
return Math.round(12 * scaling)