r1433: Properly use GtkTreeView: