diff --git a/keymap/vim.js b/keymap/vim.js index b2bee5a1c7ecde0e0f17a5c9b595aee94ed9f6b6..4278ee9798537d94650ac903dfb856a73a850583 100644 --- a/keymap/vim.js +++ b/keymap/vim.js @@ -3782,17 +3782,10 @@ } } function makePrompt(prefix, desc) { - var raw = ''; - if (prefix) { - raw += '<span style="font-family: monospace">' + prefix + '</span>'; - } - raw += '<input type="text"/> ' + - '<span style="color: #888">'; - if (desc) { - raw += '<span style="color: #888">'; - raw += desc; - raw += '</span>'; - } + var raw = '<span style="font-family: monospace; white-space: pre">' + + (prefix || "") + '<input type="text"></span>'; + if (desc) + raw += ' <span style="color: #888">' + desc + '</span>'; return raw; } var searchPromptDesc = '(Javascript regexp)';