Small fixes and change the "plugins" text to "packages"

This commit is contained in:
Diego Prado Gesto 2018-05-11 14:10:53 +02:00
parent 1ecc52e920
commit 418bedc8f0
2 changed files with 3 additions and 5 deletions

View file

@ -78,7 +78,7 @@ Window
{
id: footer
visible: toolbox.restartRequired
height: toolbox.restartRequired ? UM.Theme.getSize("toolbox_footer").height : 0
height: visible ? UM.Theme.getSize("toolbox_footer").height : 0
}
// TODO: Clean this up:
Connections