Workspace: better font sizing for active workspace
This commit is contained in:
parent
b52451fde5
commit
339505abe3
1 changed files with 1 additions and 1 deletions
|
|
@ -216,7 +216,7 @@ Item {
|
||||||
return model.idx.toString()
|
return model.idx.toString()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
font.pointSize: model.isFocused ? workspacePillContainer.height * 0.5 : workspacePillContainer.height * 0.42
|
font.pointSize: model.isFocused ? workspacePillContainer.height * 0.45 : workspacePillContainer.height * 0.42
|
||||||
font.capitalization: Font.AllUppercase
|
font.capitalization: Font.AllUppercase
|
||||||
font.family: Settings.data.ui.fontFixed
|
font.family: Settings.data.ui.fontFixed
|
||||||
font.weight: Style.fontWeightBold
|
font.weight: Style.fontWeightBold
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue