Add a circle to the background of the refresh button

Be more consistent with rest of UI.

CURA-9677
This commit is contained in:
c.lamboo 2022-09-26 11:23:17 +02:00
parent f52a9ad0fe
commit 61065ce46d

View File

@ -53,23 +53,39 @@ UM.Dialog
anchors.left: parent.left anchors.left: parent.left
text: catalog.i18nc("@title:label", "Compatible Printers") text: catalog.i18nc("@title:label", "Compatible Printers")
font: UM.Theme.getFont("large") font: UM.Theme.getFont("large")
anchors.horizontalCenter: parent.horizontalCenter
} }
TabButton
UM.SimpleButton
{ {
id: refreshButton
anchors.right: parent.right anchors.right: parent.right
width: UM.Theme.getSize("button_icon").width
width: UM.Theme.getSize("small_button").width height: UM.Theme.getSize("button_icon").height
height: UM.Theme.getSize("small_button").height hoverEnabled: true
iconSource: UM.Theme.getIcon("ArrowDoubleCircleRight")
color: UM.Theme.getColor("text_link")
hoverColor: UM.Theme.getColor("text_scene_hover")
onClicked: onClicked:
{ {
manager.refresh() manager.refresh()
base.compatible_machine_model.forceUpdate() base.compatible_machine_model.forceUpdate()
} }
background: Rectangle
{
width: UM.Theme.getSize("button_icon").width
height: UM.Theme.getSize("button_icon").height
color: refreshButton.hovered ? UM.Theme.getColor("toolbar_button_hover") : UM.Theme.getColor("toolbar_background")
radius: Math.round(refreshButton.width * 0.5)
}
UM.ColorImage
{
width: UM.Theme.getSize("section_icon").width
height: UM.Theme.getSize("section_icon").height
color: UM.Theme.getColor("text_link")
source: UM.Theme.getIcon("ArrowDoubleCircleRight")
anchors.horizontalCenter: parent.horizontalCenter
anchors.verticalCenter: parent.verticalCenter
}
} }
} }