comparison: src/gtkutils.c
src/gtkutils.c
- changeset 10177
- 9471d38bd527
- parent 10175
- 2bf5ed145e8a
- child 10181
- 2425c3773266
equal
deleted
inserted
replaced
| 10176:753b4c93479d | 10177:9471d38bd527 |
|---|---|
| 100 { | 100 { |
| 101 GtkWidget *frame; | 101 GtkWidget *frame; |
| 102 GtkWidget *imhtml; | 102 GtkWidget *imhtml; |
| 103 GtkWidget *sep; | 103 GtkWidget *sep; |
| 104 GtkWidget *sw; | 104 GtkWidget *sw; |
| 105 GtkWidget *toolbar; | 105 GtkWidget *toolbar = NULL; |
| 106 GtkWidget *vbox; | 106 GtkWidget *vbox; |
| 107 | 107 |
| 108 frame = gtk_frame_new(NULL); | 108 frame = gtk_frame_new(NULL); |
| 109 gtk_frame_set_shadow_type(GTK_FRAME(frame), GTK_SHADOW_IN); | 109 gtk_frame_set_shadow_type(GTK_FRAME(frame), GTK_SHADOW_IN); |
| 110 gtk_widget_show(frame); | 110 gtk_widget_show(frame); |
