gtk_box_new      1572 src/gtkutil.c    wvbox = gtk_box_new (GTK_ORIENTATION_VERTICAL, 0);
gtk_box_new      1573 src/gtkutil.c    whbox = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0);
gtk_box_new      1790 src/gtkutil.c    wvbox = gtk_box_new (GTK_ORIENTATION_VERTICAL, 0);
gtk_box_new      1791 src/gtkutil.c    whbox = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0);
gtk_box_new      2313 src/gtkutil.c        GtkWidget *wvbox = gtk_box_new (GTK_ORIENTATION_VERTICAL, button_spacing);
gtk_box_new      2314 src/gtkutil.c        GtkWidget *whbox_up = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0);
gtk_box_new      2317 src/gtkutil.c        whbox_down = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0);
gtk_box_new      2599 src/gtkutil.c    wbox = gtk_box_new (GTK_ORIENTATION_VERTICAL, 0);
gtk_box_new      3142 src/gtkutil.c    wbox = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0);
gtk_box_new      5530 src/gtkutil.c    GtkWidget *vb = gtk_box_new (horiz
gtk_box_new      2661 src/xwidget.c    box = gtk_box_new (GTK_ORIENTATION_VERTICAL, 8);