sig val tag_table : ([> `textbuffer ], Gtk.text_tag_table) Gobject.property val cursor_position : ([> `textbuffer ], int) Gobject.property val has_selection : ([> `textbuffer ], bool) Gobject.property end