# HG changeset patch
# User Nobuyasu Oshiro  <dimolto@cr.ie.u-ryukyu.ac.jp>
# Date 1364124301 -32400
# Node ID 5653ab0091bee49f10c5007cd73fe4cc9146322e
# Parent  45daac436fd73681304a815c3f56350cc964eda6
implemented show information of metrics on miniDisplay.

diff -r 45daac436fd7 -r 5653ab0091be show.html
--- a/show.html	Sun Mar 24 18:30:24 2013 +0900
+++ b/show.html	Sun Mar 24 20:25:01 2013 +0900
@@ -181,13 +181,36 @@
     }
 }
 
+var NotDisplayProperty = {
+    id : 1,
+    edgeInfo : 1,
+    coordX : 1,
+    coordY : 1,
+    metrics : 1
+};
+function getMetricsStr(metricsArray) {
+    var str = "";
+    str = "Metrics :<br>";
+    for (var i=0; i<metricsArray.length; i++) {
+	var metrics = metricsArray[i];
+	for (var key in metrics) {
+	    str = str + key + " : " + metrics[key] +"<br>";
+	}
+    }
+    return str;
+}
+
 function writeJSONDataToMiniDisplay(jsonObj) {
     var str = "";
     for (var key in jsonObj.property) {
-	if (key != 'edgeInfo' ) {
-	    str = str + key + ": "+ jsonObj.property[key] + "<br>";
+	if (!NotDisplayProperty[key]) {
+	    str = str + key + ": "+ jsonObj.property[key] + "<br>";	    
 	}
     }
+    if (jsonObj.property['metrics']) {
+	str = str + getMetricsStr(jsonObj.property.metrics);
+    }
+    
     writeMiniDisplay(jsonObj.property.title, str);
 }