GTK.Editable insert_text(string text, int num_chars, int where)
Insert 'num_chars' characters from the text at the position 'where'.