TextBuffer.endUserAction

void endUserAction()

Ends a user-visible operation.

Should be paired with a call to [gtk.text_buffer.TextBuffer.beginUserAction]. See that function for a full explanation.