function completer(line: string) { line = line.trim(); let completions = consts.COMANDS_COMPLETE; let hits = [];
function completer(line: string) { line = line.trim(); let completions = consts.COMANDS_COMPLETE; let hits = [];
function completer(line: string) { line = line.trim(); let completions = consts.COMANDS_COMPLETE; let hits = [];
function completer(line: string) { line = line.trim(); let completions = consts.COMANDS_COMPLETE; let hits = [];