From adcc8c175eb4c97faff1a348e7d5afd5afa95d55 Mon Sep 17 00:00:00 2001
From: William Shallum <william@shallum.net>
Date: Thu, 18 Aug 2011 14:37:37 +0000
Subject: [PATCH] collection.js: use unicode escape instead of UTF8 as it is
 sent with no charset header

---
 share/collection.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/share/collection.js b/share/collection.js
index 141acbd..158a36e 100644
--- a/share/collection.js
+++ b/share/collection.js
@@ -686,10 +686,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>"
         );
     });
-- 
2.30.2