terminal__flush
terminal__flush(el);
terminal__flush(el);
terminal__flush(el);
terminal__flush(el);
terminal__flush(el);
terminal__flush(el);
terminal__flush(el); /* flush any buffered output */
terminal__flush(el);
terminal__flush(el);
terminal__flush(el);
terminal__flush(sel);
terminal__flush(el);
protected void terminal__flush(EditLine *);