comparison: src/plugins.c
src/plugins.c
- changeset 3025
- 1cc919eae2eb
- parent 2725
- a844d0964552
- child 3374
- 4792e03572f4
equal
deleted
inserted
replaced
| 3024:3488c5cb9cf5 | 3025:1cc919eae2eb |
|---|---|
| 187 tophbox = gtk_hbox_new(FALSE, 0); | 187 tophbox = gtk_hbox_new(FALSE, 0); |
| 188 gtk_box_pack_start(GTK_BOX(mainvbox), tophbox, TRUE, TRUE, 0); | 188 gtk_box_pack_start(GTK_BOX(mainvbox), tophbox, TRUE, TRUE, 0); |
| 189 gtk_widget_show(tophbox); | 189 gtk_widget_show(tophbox); |
| 190 | 190 |
| 191 /* Left side: frame with list of plugin file names */ | 191 /* Left side: frame with list of plugin file names */ |
| 192 frame = gtk_frame_new(_("Plugins")); | 192 frame = gtk_frame_new(_("Loaded Plugins")); |
| 193 gtk_box_pack_start(GTK_BOX(tophbox), frame, FALSE, FALSE, 0); | 193 gtk_box_pack_start(GTK_BOX(tophbox), frame, FALSE, FALSE, 0); |
| 194 gtk_widget_set_usize(frame, 140, -1); | 194 gtk_widget_set_usize(frame, 140, -1); |
| 195 gtk_container_set_border_width(GTK_CONTAINER(frame), 6); | 195 gtk_container_set_border_width(GTK_CONTAINER(frame), 6); |
| 196 gtk_frame_set_label_align(GTK_FRAME(frame), 0.05, 0.5); | 196 gtk_frame_set_label_align(GTK_FRAME(frame), 0.05, 0.5); |
| 197 gtk_widget_show(frame); | 197 gtk_widget_show(frame); |
