src/gtkdebug.c

changeset 5429
9136deb95d2d
parent 5428
5788d3bc050a
child 5430
f6d50383d8d0
equal deleted inserted replaced
5428:5788d3bc050a 5429:9136deb95d2d
100 vbox = gtk_vbox_new(FALSE, 0); 100 vbox = gtk_vbox_new(FALSE, 0);
101 gtk_container_add(GTK_CONTAINER(win->window), vbox); 101 gtk_container_add(GTK_CONTAINER(win->window), vbox);
102 102
103 /* Setup our top button bar thingie. */ 103 /* Setup our top button bar thingie. */
104 toolbar = gtk_toolbar_new(); 104 toolbar = gtk_toolbar_new();
105 gtk_toolbar_set_style(GTK_TOOLBAR(toolbar), GTK_TOOLBAR_TEXT); 105 gtk_toolbar_set_style(GTK_TOOLBAR(toolbar), GTK_TOOLBAR_BOTH_HORIZ);
106 gtk_toolbar_set_icon_size(GTK_TOOLBAR(toolbar),
107 GTK_ICON_SIZE_SMALL_TOOLBAR);
106 108
107 gtk_box_pack_start(GTK_BOX(vbox), toolbar, FALSE, FALSE, 0); 109 gtk_box_pack_start(GTK_BOX(vbox), toolbar, FALSE, FALSE, 0);
108 110
109 #if 0 111 #if 0
110 /* Find button */ 112 /* Find button */

mercurial