fun header: GtkWidget `{ return gtk_list_box_row_get_header(self); `}