comparison: src/gtkprefs.c
src/gtkprefs.c
- changeset 9606
- f5a6e772fc9f
- parent 9596
- 5f5575b051e6
- child 9707
- 2a5f0eceb405
equal
deleted
inserted
replaced
| 9605:477310308b79 | 9606:f5a6e772fc9f |
|---|---|
| 2479 /* Back to instant-apply! I win! BU-HAHAHA! */ | 2479 /* Back to instant-apply! I win! BU-HAHAHA! */ |
| 2480 | 2480 |
| 2481 /* Create the window */ | 2481 /* Create the window */ |
| 2482 prefs = gtk_window_new(GTK_WINDOW_TOPLEVEL); | 2482 prefs = gtk_window_new(GTK_WINDOW_TOPLEVEL); |
| 2483 gtk_window_set_role(GTK_WINDOW(prefs), "preferences"); | 2483 gtk_window_set_role(GTK_WINDOW(prefs), "preferences"); |
| 2484 gtk_widget_realize(prefs); | |
| 2485 gtk_window_set_title(GTK_WINDOW(prefs), _("Preferences")); | 2484 gtk_window_set_title(GTK_WINDOW(prefs), _("Preferences")); |
| 2486 gtk_window_set_resizable (GTK_WINDOW(prefs), FALSE); | 2485 gtk_window_set_resizable (GTK_WINDOW(prefs), FALSE); |
| 2487 gtk_container_set_border_width(GTK_CONTAINER(prefs), 12); | 2486 gtk_container_set_border_width(GTK_CONTAINER(prefs), 12); |
| 2488 g_signal_connect(G_OBJECT(prefs), "destroy", | 2487 g_signal_connect(G_OBJECT(prefs), "destroy", |
| 2489 G_CALLBACK(delete_prefs), NULL); | 2488 G_CALLBACK(delete_prefs), NULL); |
