diff options
| author | mrmr1993 | 2015-06-13 15:54:52 +0100 |
|---|---|---|
| committer | mrmr1993 | 2015-06-13 15:54:52 +0100 |
| commit | 39e10495709eeafd972a8b66ee741bf25deee7e5 (patch) | |
| tree | 268c91691f7cd10cd7689152528536ac6a0ab6c5 /pages | |
| parent | c201ee72988c0cacc326023c3ff7f1cacc2b62e0 (diff) | |
| download | vimium-39e10495709eeafd972a8b66ee741bf25deee7e5.tar.bz2 | |
Pad the HUD leading / with a "hair space"
Diffstat (limited to 'pages')
| -rw-r--r-- | pages/hud.coffee | 2 |
1 files changed, 1 insertions, 1 deletions
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" |