From e10d69474d05c66b33d8d41e181348851a54ef89 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Sun, 19 Dec 2021 17:03:16 +0100
Subject: Prettier logs with formatting and colors.

---
 ui.js | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

(limited to 'ui.js')

diff --git a/ui.js b/ui.js
index b4df3fd..598ad5a 100644
--- a/ui.js
+++ b/ui.js
@@ -48,6 +48,34 @@ let ui = {
 	present: new Set(),
 }
 
+create_log_entry = function (text) {
+	let p = document.createElement("div");
+	text = text.replace(/&/g, "&amp;");
+	text = text.replace(/</g, "&lt;");
+	text = text.replace(/>/g, "&gt;");
+
+	text = text.replace(/\u2192 /g, "\u2192\xa0");
+
+	text = text.replace(/^([A-Z]):/, '<span class="$1"> $1 </span>');
+
+	if (text.match(/^~ .* ~$/))
+		p.className = 'br', text = text.substring(2, text.length-2);
+	else if (text.match(/^Start England turn/))
+		p.className = 'E';
+	else if (text.match(/^Start Scotland turn/))
+		p.className = 'S';
+	else if (text.match(/^Start /))
+		p.className = 'st';
+	else if (text.match(/^(Battle in|Defection battle in)/))
+		p.className = 'bs';
+
+	if (text.match(/^Start /))
+		text = text.substring(6);
+
+	p.innerHTML = text;
+	return p;
+}
+
 function on_focus_area(evt) {
 	let where = evt.target.area;
 	document.getElementById("status").textContent = where;
-- 
cgit v1.2.3