TextBuffer.endUserAction

void endUserAction()

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