terminal_print_arrow
terminal_print_arrow(el, L"");
terminal_print_arrow(el, in);
protected void terminal_print_arrow(EditLine *, const wchar_t *);