From 178fed05a44ea76f7fe663f072acd884d795b5ed Mon Sep 17 00:00:00 2001
From: Nicolas Stepien <stepien.nicolas@gmail.com>
Date: Wed, 27 Mar 2013 17:26:26 +0100
Subject: [PATCH] Toggle header autohiding with its border on mousedown instead
 of click.

---
 src/features.coffee | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/features.coffee b/src/features.coffee
index 362a3a1c7..054a6b7a7 100644
--- a/src/features.coffee
+++ b/src/features.coffee
@@ -20,7 +20,7 @@ Header =
 
     @menu = new UI.Menu 'header'
     $.on $('.menu-button', @bar), 'click', @menuToggle
-    $.on @toggle, 'click', @toggleBarVisibility
+    $.on @toggle, 'mousedown', @toggleBarVisibility
 
     catalogToggler = $.el 'label',
       innerHTML: "<input type=checkbox #{if Conf['Header catalog links'] then 'checked' else ''}> Use catalog board links"