From 7d7d06ef99c33df92b2c6f386e4c9b6a0742b800 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 10 Apr 2006 10:05:53 +0000
Subject: [PATCH] Bugfix: GUI option 'clear properties on model load' now
 respected.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@49 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/properties/GUIMultiProperties.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();
 				}