From cb3cfcc7ecede9f9ece9f215ab18cff22c5a3ef0 Mon Sep 17 00:00:00 2001 From: DX3253 Date: Thu, 11 May 2023 14:59:25 +0200 Subject: [PATCH] Importing big property files in GUI now works in reasonable time --- .../userinterface/properties/GUIPropertiesList.java | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) 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)