Added refresh option for plugin list.

This fixes the issue that if you don't have internet connection on first start of the browser, you'd need a reboot of cura to get the list.

CURA-3856
This commit is contained in:
Jaime van Kessel 2017-06-30 15:30:22 +02:00
parent 5d0908e8ce
commit 52954460a3
2 changed files with 26 additions and 6 deletions

View file

@ -14,17 +14,31 @@ UM.Dialog
Item
{
anchors.fill: parent
Label
Item
{
id: introText
text: catalog.i18nc("@label", "Here you can find a list of Third Party plugins.")
id: topBar
height: childrenRect.height;
width: parent.width
height: 30
Label
{
id: introText
text: catalog.i18nc("@label", "Here you can find a list of Third Party plugins.")
width: parent.width
height: 30
}
Button
{
id: refresh
text: catalog.i18nc("@action:button", "Refresh")
onClicked: manager.requestPluginList()
anchors.right: parent.right
}
}
ScrollView
{
width: parent.width
anchors.top: introText.bottom
anchors.top: topBar.bottom
anchors.bottom: progressbar.top
anchors.bottomMargin: UM.Theme.getSize("default_margin").height
frameVisible: true