From 244a78af5bef1b578a24b3ea718d6feb7013bb9a Mon Sep 17 00:00:00 2001
From: Scott Worley <sworley@chkno.net>
Date: Sat, 4 Aug 2012 12:21:18 -0700
Subject: [PATCH] Timestamp hover shows all servers' timestamps

---
 webclient/rc.html | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/webclient/rc.html b/webclient/rc.html
index e23286e..d91d3a6 100644
--- a/webclient/rc.html
+++ b/webclient/rc.html
@@ -63,6 +63,22 @@
 	.timestamp {
 		margin-right: 0.8em;
 	}
+	.timestamp:hover, .timestamp:hover .servertimestamps {
+		background-color: #556;
+	}
+	.timestamp:hover .servertimestamps {
+		display: block;
+	}
+	.servertimestamps {
+	  display: none;
+		position: absolute;
+		left: 3em;
+		z-index: 1;
+		border: 1px solid black;
+		border-radius: 5px;
+		padding-left: 5px;
+		padding-right: 5px;
+	}
 	img { width: 1px; height: 1px; }
 	iframe { display: none }
 	#status span { margin-right: 10px; }
@@ -140,6 +156,21 @@
 		return d + " " + pad(h) + ":" + pad(m) + ":" + pad(s);
 	}
 
+	function rcaddservertimestamptohover(message, server) {
+		var divs = message.UI.getElementsByTagName("div");
+		for (var i in divs) {
+			if (divs[i].getAttribute && divs[i].getAttribute("class") == "servertimestamps") {
+				var d = document.createElement("div");
+				function pad(x) {
+					return (x < 10 ? "00" : (x < 100 ? "0" : "")) + x;
+				}
+				var text = rcformattime(message.ServerTimes[server]) + "." + pad(message.ServerTimes[server].getUTCMilliseconds()) + " " + server;
+				d.appendChild(document.createTextNode(text));
+				divs[i].appendChild(d);
+			}
+		}
+	}
+
 	function rcmakemessageUI(message) {
 		message.UI = document.createElement("div");
 
@@ -156,6 +187,14 @@
 		timestamp.appendChild(document.createTextNode(timestamp_text));
 		message.UI.appendChild(timestamp);
 
+		// Timestamp hover
+		var timestamp_hover = document.createElement("div");
+		timestamp_hover.setAttribute("class", "servertimestamps");
+		timestamp.appendChild(timestamp_hover);
+		for (var server in message.ServerTimes) {
+			rcaddservertimestamptohover(message, server);
+		}
+
 		// Classify different message types
 		var text_span = document.createElement("span");
 		var type;
@@ -250,6 +289,7 @@
 			if (seen_key in seen) {
 				seen[seen_key].ServerTimes[server] = m.Time;
 				rcupdatemessagetime(seen[seen_key]);
+				rcaddservertimestamptohover(seen[seen_key], server);
 			} else {
 				m.ServerTimes = {};
 				m.ServerTimes[server] = m.Time;
-- 
2.44.1