diff --git a/prism/src/userinterface/properties/GUIPropertiesList.java b/prism/src/userinterface/properties/GUIPropertiesList.java index d21e966e39..991ec4237a 100644 --- a/prism/src/userinterface/properties/GUIPropertiesList.java +++ b/prism/src/userinterface/properties/GUIPropertiesList.java @@ -328,11 +328,17 @@ public void addProperty(String propString, String comment) } public void addProperty(String name, String propString, String comment) + { + addProperty(name, propString, comment, true); + } + + public void addProperty(String name, String propString, String comment, boolean validate) { counter++; GUIProperty gp = new GUIProperty(prism, this, "PROPERTY" + counter, propString, name, comment); listModel.addElement(gp); - validateProperties(); + if (validate) + validateProperties(); } public void setProperty(int index, String name, String propString, String comment) @@ -362,8 +368,9 @@ public void addPropertiesFile(PropertiesFile pf) String nam = pf.getPropertyName(i); String str = pf.getProperty(i).toString(); String com = pf.getPropertyComment(i); - addProperty(nam, str, com); + addProperty(nam, str, com, false); } + validateProperties(); } public boolean deleteProperty(int index)