From 39e10495709eeafd972a8b66ee741bf25deee7e5 Mon Sep 17 00:00:00 2001
From: mrmr1993
Date: Sat, 13 Jun 2015 15:54:52 +0100
Subject: Pad the HUD leading / with a "hair space"

---
 pages/hud.coffee | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pages/hud.coffee b/pages/hud.coffee
index 76ed693f..37debc4e 100644
--- a/pages/hud.coffee
+++ b/pages/hud.coffee
@@ -58,7 +58,7 @@ handlers =
 
   showFindMode: (data) ->
     hud = document.getElementById "hud"
-    hud.innerText = "/"
+    hud.innerText = "/\u200A" # \u200A is a "hair space", to leave enough space before the caret/first char.
 
     inputElement = document.createElement "span"
     inputElement.contentEditable = "plaintext-only"
-- 
cgit v1.2.3