Corners: new option to show or hide screen rounded corners.
This commit is contained in:
parent
f4ebd72b4c
commit
2dc106db5f
3 changed files with 60 additions and 0 deletions
|
|
@ -159,6 +159,7 @@ Scope {
|
|||
offsetX: -39
|
||||
offsetY: 0
|
||||
anchors.top: parent.top
|
||||
visible: Settings.settings.showCorners
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -185,6 +186,7 @@ Scope {
|
|||
offsetX: 39
|
||||
offsetY: 0
|
||||
anchors.top: parent.top
|
||||
visible: Settings.settings.showCorners
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -210,6 +212,7 @@ Scope {
|
|||
offsetX: -39
|
||||
offsetY: 0
|
||||
anchors.top: parent.top
|
||||
visible: Settings.settings.showCorners
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -235,6 +238,7 @@ Scope {
|
|||
offsetX: 39
|
||||
offsetY: 0
|
||||
anchors.top: parent.top
|
||||
visible: Settings.settings.showCorners
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue