From 2eebfa9a7abdedfd8d1654fc5ca0341eb5b70df8 Mon Sep 17 00:00:00 2001
From: Cory McWilliams <cory@unprompted.com>
Date: Mon, 27 May 2024 20:35:40 -0400
Subject: [PATCH] Make the websocket disconnect message not pop up a modal
 dialog so that it's less annoying when it happens in the normal course of
 events. #60

---
 core/client.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/core/client.js b/core/client.js
index 792c68e0..26f4ef90 100644
--- a/core/client.js
+++ b/core/client.js
@@ -10,6 +10,7 @@ let gEditor;
 let gOriginalInput;
 
 let kErrorColor = '#dc322f';
+let kDisconnectColor = '#f00';
 let kStatusColor = '#fff';
 
 // Functions that server-side app code can call through the app object.
@@ -1548,7 +1549,7 @@ function connectSocket(path) {
 			};
 			setStatusMessage(
 				'🔴 Closed: ' + (k_codes[event.code] || event.code),
-				kErrorColor
+				kDisconnectColor
 			);
 		};
 	}