@@ -383,10 +383,6 @@ UM.MainWindow
{
bottom: parent.bottom;
left: parent.left;
- leftMargin: UM.Theme.getSize("default_margin").width;
- rightMargin: UM.Theme.getSize("default_margin").width;
- topMargin: UM.Theme.getSize("default_margin").height;
- bottomMargin: UM.Theme.getSize("default_margin").height;
}
@@ -394,7 +394,7 @@
"jobspecs_line": [2.0, 2.0],
"objects_menu_size": [20, 40],
- "objects_menu_size_collapsed": [15, 17],
+ "objects_menu_size_collapsed": [20, 17],
"build_plate_selection_size": [15, 5],
"objects_menu_button": [0.3, 2.7]