diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java
index 0c2e15e4..7c8d44f1 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/prism/src/userinterface/properties/GUIMultiProperties.java
@@ -732,6 +732,7 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 		propList.deleteAll();
 		consTable.newList();
 		labTable.newList();
+		tabToFront();
 		setModified(false);
 		setActiveFile(null);
 		doEnables();