Prettier logs with formatting and colors.

1 files changed, 28 insertions, 0 deletions

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, "&");
+	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;