// Editor callbacks
void executeLine(std::string const & text);
void deleteCharOrExit(term::LineEditor & editor);
+ void completePath(term::LineEditor & editor, unsigned b, unsigned e,
+ std::vector<std::string> & completions);
term::LineEditor editor_;
LineEditorSwitcher * switcher_;