Merge remote-tracking branch 'github/master'

[collection4.git] / share / collection.js

diff --git a/share/collection.js b/share/collection.js
index e071f2f..e1764ac 100644 (file)
--- a/share/collection.js
+++ b/share/collection.js
@@ -428,7 +428,7 @@ function inst_fetch_data (inst, begin, end) /* {{{ */
   params.action = "instance_data_json";
   params.begin = begin || inst.begin;
   params.end = end || inst.end;
-  params.resolution = Math.round ((params.end - params.begin) / c4.config.width);
+  params.resolution = (params.end - params.begin) / c4.config.width;
 
   $.getJSON ("collection.fcgi", params,
       function (data)
@@ -712,10 +712,10 @@ $(document).ready(function() {
         + "<div class=\"graph-button\" onClick=\"zoom_reference ('"+id+"');\">!</div>"
         + "</div>"
         + "<div class=\"graph-buttons navigation\">"
-        + "<div class=\"graph-button\" onClick=\"zoom_earlier ('"+id+"');\">←</div>"
-        + "<div class=\"graph-button\" onClick=\"zoom_out     ('"+id+"');\">−</div>"
+        + "<div class=\"graph-button\" onClick=\"zoom_earlier ('"+id+"');\">\u2190</div>"
+        + "<div class=\"graph-button\" onClick=\"zoom_out     ('"+id+"');\">\u2212</div>"
         + "<div class=\"graph-button\" onClick=\"zoom_in      ('"+id+"');\">+</div>"
-        + "<div class=\"graph-button\" onClick=\"zoom_later   ('"+id+"');\">→</div>"
+        + "<div class=\"graph-button\" onClick=\"zoom_later   ('"+id+"');\">\u2192</div>"
         + "</div>"
         );
     });