Fix #446: you can now edit completions you select with space

This commit is contained in:
Oliver Blanthorn 2018-04-27 16:45:50 +01:00
parent 15ca28fb3e
commit c948658e56
No known key found for this signature in database
GPG key ID: 2BB8C36BB504BFF3

View file

@ -197,8 +197,8 @@ clInput.addEventListener("keydown", function(keyevent) {
case " ":
const command = getCompletion()
if (command)
fillcmdline(command, false)
activeCompletions.forEach(comp => (comp.completion = undefined))
if (command) fillcmdline(command, false)
break
}
@ -281,7 +281,7 @@ function process() {
const [func, ...args] = command.trim().split(/\s+/)
if (func.length === 0 || func.startsWith('#')) {
if (func.length === 0 || func.startsWith("#")) {
return
}