comparison: src/gtkutils.c
src/gtkutils.c
- changeset 12905
- e650ee76e1b8
- parent 12651
- be8208c28eaa
- child 12919
- 519199cca273
equal
deleted
inserted
replaced
| 12904:f01835b6bcac | 12905:e650ee76e1b8 |
|---|---|
| 136 if (editable) | 136 if (editable) |
| 137 gtk_scrolled_window_set_policy(GTK_SCROLLED_WINDOW(sw), | 137 gtk_scrolled_window_set_policy(GTK_SCROLLED_WINDOW(sw), |
| 138 GTK_POLICY_NEVER, GTK_POLICY_AUTOMATIC); | 138 GTK_POLICY_NEVER, GTK_POLICY_AUTOMATIC); |
| 139 else | 139 else |
| 140 gtk_scrolled_window_set_policy(GTK_SCROLLED_WINDOW(sw), | 140 gtk_scrolled_window_set_policy(GTK_SCROLLED_WINDOW(sw), |
| 141 GTK_POLICY_AUTOMATIC, GTK_POLICY_ALWAYS); | 141 GTK_POLICY_AUTOMATIC, GTK_POLICY_AUTOMATIC); |
| 142 gtk_box_pack_start(GTK_BOX(vbox), sw, TRUE, TRUE, 0); | 142 gtk_box_pack_start(GTK_BOX(vbox), sw, TRUE, TRUE, 0); |
| 143 gtk_widget_show(sw); | 143 gtk_widget_show(sw); |
| 144 | 144 |
| 145 imhtml = gtk_imhtml_new(NULL, NULL); | 145 imhtml = gtk_imhtml_new(NULL, NULL); |
| 146 gtk_imhtml_set_editable(GTK_IMHTML(imhtml), editable); | 146 gtk_imhtml_set_editable(GTK_IMHTML(imhtml), editable); |
