Workspace: bigger text for names, adaptative height.
This commit is contained in:
parent
44c98553dc
commit
f533e2a547
1 changed files with 2 additions and 2 deletions
|
|
@ -152,7 +152,7 @@ Item {
|
|||
model: localWorkspaces
|
||||
Item {
|
||||
id: workspacePillContainer
|
||||
height: Math.round(16 * scaling)
|
||||
height: Settings.data.bar.showWorkspacesNames ? Math.round(18 * scaling) : Math.round(14 * scaling)
|
||||
width: root.calculatedWsWidth(model)
|
||||
|
||||
Rectangle {
|
||||
|
|
@ -171,7 +171,7 @@ Item {
|
|||
return model.idx.toString()
|
||||
}
|
||||
}
|
||||
font.pointSize: model.isFocused ? Style.fontSizeXS * scaling : Style.fontSizeXXS * scaling
|
||||
font.pointSize: model.isFocused ? Style.fontSizeS * scaling : Style.fontSizeXS * scaling
|
||||
font.capitalization: Font.SmallCaps
|
||||
horizontalAlignment: Text.AlignHCenter
|
||||
verticalAlignment: Text.AlignVCenter
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue