From 71cb504ccb854fe6184bca45a6eff947988bbc2f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Thu, 20 Sep 2012 18:12:59 +0200
Subject: [PATCH] hide navigation links on click, to avoid them being clicked
 before ready

---
 server/index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/server/index.html b/server/index.html
index d1cfaef..5767a0a 100644
--- a/server/index.html
+++ b/server/index.html
@@ -61,6 +61,7 @@ function display_results(data) {
   );
   $('#results a.nav').click(function() {
     var this_link = $(this);
+    $('#results a.nav').hide();
     $.getJSON('search/' + $(this).attr('href'), function(data) {
       $('#offset').val($(this_link).data('offset'));
       display_results(data);