Added rounded corners to the intent menu

CURA-6598
This commit is contained in:
Jaime van Kessel 2019-08-07 09:58:14 +02:00
parent 0891abf8af
commit 4520ee7e1c

View File

@ -12,15 +12,17 @@ Popup
property int defaultMargin: 5 property int defaultMargin: 5
property int checkmarkSize: 12 property int checkmarkSize: 12
property int buttonHeight: 25 property int buttonHeight: 25
property color backgroundColor: "#f2f2f2" property color backgroundColor: UM.Theme.getColor("main_background")
property color borderColor: "#cccccc" property color borderColor: UM.Theme.getColor("lining")
padding: 0 padding: 0
background: Rectangle background: Cura.RoundedRectangle
{ {
color: backgroundColor color: backgroundColor
border.width: 1 border.width: UM.Theme.getSize("default_lining").width
border.color: borderColor border.color: borderColor
cornerSide: Cura.RoundedRectangle.Direction.Down
} }
ButtonGroup ButtonGroup
@ -33,11 +35,11 @@ Popup
contentItem: Column contentItem: Column
{ {
anchors.left: parent.left anchors.left: parent.left
anchors.leftMargin: UM.Theme.getSize("default_lining").width
anchors.rightMargin: UM.Theme.getSize("default_lining").width
anchors.right: parent.right anchors.right: parent.right
anchors.top: parent.top anchors.top: parent.top
height: childrenRect.height
// This repeater adds the intent labels // This repeater adds the intent labels
Repeater Repeater
{ {
@ -209,5 +211,11 @@ Popup
Cura.Actions.manageProfiles.trigger() Cura.Actions.manageProfiles.trigger()
} }
} }
// spacer
Item
{
width: 2
height: UM.Theme.getSize("default_radius").width
}
} }
} }