comparison: src/gtkdebug.c
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 */ |
