Searched refs:options_alignment (Results 1 – 1 of 1) sorted by relevance
308 GtkWidget* options_alignment = gtk_alignment_new(0.0, 0.0, 1.0, 1.0); in Show() local309 gtk_alignment_set_padding(GTK_ALIGNMENT(options_alignment), in Show()312 gtk_container_add(GTK_CONTAINER(options_alignment), in Show()314 gtk_box_pack_end(GTK_BOX(hbox_), options_alignment, FALSE, FALSE, 0); in Show()