Source position: gtktextview.inc line 174
function just_selected_element(
var a: TGtkTextView
):guint;