diff --git a/prism/src/userinterface/model/GUIMultiModelHandler.java b/prism/src/userinterface/model/GUIMultiModelHandler.java index 661209f3..21c41b4a 100644 --- a/prism/src/userinterface/model/GUIMultiModelHandler.java +++ b/prism/src/userinterface/model/GUIMultiModelHandler.java @@ -236,6 +236,10 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener if (!startupCompleted) return; + // Don't trigger parsing if the text field is empty + if (editor.getParseText().trim().isEmpty()) + return; + if (waiter != null) { waiter.interrupt(); }