public void SetText (string text) {
	gtk_text_buffer_set_text (Handle, text, text.Length);
}