ui/gtk/list.c

branch
newapi
changeset 350
70305d427f25
parent 339
b68b5f984074
equal deleted inserted replaced
349:d188f52cff7f 350:70305d427f25
368 } 368 }
369 // TODO: destroy callback 369 // TODO: destroy callback
370 370
371 371
372 GtkTreeSelection *selection = gtk_tree_view_get_selection (GTK_TREE_VIEW(view)); 372 GtkTreeSelection *selection = gtk_tree_view_get_selection (GTK_TREE_VIEW(view));
373 gtk_tree_selection_set_mode(selection, GTK_SELECTION_MULTIPLE); 373 if(args.multiselection) {
374 gtk_tree_selection_set_mode(selection, GTK_SELECTION_MULTIPLE);
375 }
374 376
375 // add widget to the current container 377 // add widget to the current container
376 GtkWidget *scroll_area = SCROLLEDWINDOW_NEW(); 378 GtkWidget *scroll_area = SCROLLEDWINDOW_NEW();
377 gtk_scrolled_window_set_policy( 379 gtk_scrolled_window_set_policy(
378 GTK_SCROLLED_WINDOW(scroll_area), 380 GTK_SCROLLED_WINDOW(scroll_area),

mercurial