fun header=(header: GtkWidget) `{ gtk_list_box_row_set_header(self, header); `}