-
Beniamino Galvani authored
Autocompletion doesn't work in some cases because we present a prompt ending with ":", but compare it with the string without ":" in the autocomplete function. Fix this. While at it, also add missing colon after prompt where needed.
d868788e