Source position: gtktextview.inc line 175
procedure set_just_selected_element(
var a: TGtkTextView;
__just_selected_element: guint
);