mirror of
https://github.com/AvengeMedia/DankMaterialShell.git
synced 2026-01-27 15:02:50 -05:00
fix workspace padding
This commit is contained in:
@@ -79,9 +79,9 @@ Rectangle {
|
|||||||
|
|
||||||
width: SettingsData.showWorkspacePadding ? Math.max(
|
width: SettingsData.showWorkspacePadding ? Math.max(
|
||||||
120,
|
120,
|
||||||
workspaceRow.implicitWidth + SettingsData.topBarInnerPadding
|
workspaceRow.implicitWidth + Math.max(Theme.spacingS, SettingsData.topBarInnerPadding)
|
||||||
* 2) : workspaceRow.implicitWidth
|
* 2) : workspaceRow.implicitWidth
|
||||||
+ SettingsData.topBarInnerPadding * 2
|
+ Math.max(Theme.spacingS, SettingsData.topBarInnerPadding) * 2
|
||||||
height: widgetHeight
|
height: widgetHeight
|
||||||
radius: Theme.cornerRadius
|
radius: Theme.cornerRadius
|
||||||
color: {
|
color: {
|
||||||
|
|||||||
Reference in New Issue
Block a user