Merge pull request #46 from danielyxie/dev

Autocompletetion for command ends with a space
This commit is contained in:
danielyxie 2017-06-02 20:46:57 -05:00 committed by GitHub
commit ea9a7ad14e

@ -191,7 +191,7 @@ function tabCompletion(command, arg, allPossibilities, index=0) {
} else if (allPossibilities.length == 1) {
if (arg == "") {
//Autocomplete command
val = allPossibilities[0];
val = allPossibilities[0] + " ";
} else {
val = command + " " + allPossibilities[0];
}