X-Git-Url: https://jasonwoof.com/gitweb/?a=blobdiff_plain;f=index.html;h=718479e162424e3bf31c6a167e90480708a2fd95;hb=b7343be7e3013be9c5e5a794886337268408f581;hp=091da51765727a90377ba6aa534a3f5329f94d2b;hpb=1700d1f6d76490cd696f9072bf28d595a4e484c5;p=watch-my-terminal.git

diff --git a/index.html b/index.html
index 091da51..718479e 100644
--- a/index.html
+++ b/index.html
@@ -6,20 +6,65 @@
 	<script src="/socket.io/socket.io.js"></script>
 	<script>
 		$(function() {
+			var palette = [
+				'2e3436',
+				'a40000',
+				'4e9a06',
+				'c4a000',
+				'3465a4',
+				'75507b',
+				'ce5c00',
+				'babdb6',
+			];
 			var $body = $('body');
 			var socket = io.connect('http://localhost');
+			var color_to_css = function(i) {
+				return 'color: #' + palette[i] + '; ';
+			}
+			var bg_color_to_css = function(i) {
+				return 'background-' + color_to_css(i);
+			}
+			var stylize = function (txt, style) {
+				if(txt.length == 0 || style == 0) {
+					return txt
+				}
+				css = ''
+				if(style & 0x10000) css += 'font-weight: bold; ';
+				if(style & 0x20000) css += 'text-decoration: underline; ';
+				if(style & 0x40000) css += 'text-decoration: underline; '; // blink
+				if(style & 0x80000) css += 'text-decoration: line-through; '; // invisible
+				if(style & 0x000ff) css += color_to_css(style & 0xff);
+				if(style & 0x0ff00) css += bg_color_to_css((style & 0xff00) >> 8);
+				return $('<span style="'+css+'"></span>').text(txt);
+			}
 			socket.on('init', function (v) {
 				$body.children().remove();
 				for(i in v.text) {
-					$body.append($('<div>').text(v.text[i].join('')));
+					div = $('<div>');
+					txt = ''
+					a = 0;
+					for(j in v.text[i]) {
+						if(v.attributes[i][j] != a) {
+							if(txt.length) {
+								div.append(stylize(txt, a));
+								txt = ''
+							}
+							a = v.attributes[i][j]
+						}
+						txt += v.text[i][j]
+					}
+					if(txt.length) {
+						div.append(stylize(txt, a));
+					}
+					$body.append(div);
 				}
 			});
 		});
 	</script>
 	<style>
 		body {
-			color: white;
-			background: black;
+			color: #babdb6;
+			background: #2e3436;
 			font-family: monospace;
 			font-size: 12px;
 			line-height: 14px;