mirror of
https://git.mirrors.martin98.com/https://github.com/Ultimaker/Cura
synced 2025-08-14 03:35:57 +08:00
Use themed values for margins
This commit is contained in:
parent
6f911f9924
commit
85b28a0c90
@ -38,12 +38,12 @@ Item
|
|||||||
width: (parent.width * 3 / 4) | 0
|
width: (parent.width * 3 / 4) | 0
|
||||||
|
|
||||||
border.color: "#dfdfdf"
|
border.color: "#dfdfdf"
|
||||||
border.width: 1
|
border.width: UM.Theme.getSize("default_lining").width
|
||||||
|
|
||||||
ScrollView
|
ScrollView
|
||||||
{
|
{
|
||||||
anchors.fill: parent
|
anchors.fill: parent
|
||||||
anchors.margins: 1
|
anchors.margins: UM.Theme.getSize("default_lining").width
|
||||||
|
|
||||||
ScrollBar.horizontal.policy: ScrollBar.AlwaysOff
|
ScrollBar.horizontal.policy: ScrollBar.AlwaysOff
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user