From d6bc3101a8567fd25eb51a9a10b1f840512f304d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 19 Feb 2020 21:18:44 +0000
Subject: [PATCH] GUI fix: do not show parsing red cross if model is blank.

---
 prism/src/userinterface/model/GUIMultiModelHandler.java | 4 ++++
 1 file changed, 4 insertions(+)

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