currently xtext_buffer
only supports operations to remove from the top and bottom (gtk_xtext_clear
) and append (the gtk_xtext_append*
family). functions to prepend to, merge, and split buffers will be required for a robust scrollback system.
It's a bit quiet in here.