diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java
index 2cc3b833..e7597a96 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/prism/src/userinterface/properties/GUIMultiProperties.java
@@ -1149,7 +1149,7 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 			}
 			else if(me.getID() == GUIModelEvent.NEW_LOAD_NOT_RELOAD_MODEL)
 			{
-				if(isNewAfterReceiveNewOrLoadModelNotification())
+				if (getPrism().getSettings().getBoolean(PrismSettings.PROPERTIES_CLEAR_LIST_ON_LOAD))
 				{
 					a_newList();
 				}