comparison: src/prefs.c
src/prefs.c
- changeset 2322
- 755a355cf192
- parent 2314
- 3cd4e12f34f4
- child 2323
- dc50502319e8
equal
deleted
inserted
replaced
| 2321:2ff59c410a8d | 2322:755a355cf192 |
|---|---|
| 1837 static GtkWidget *allow_list = NULL; | 1837 static GtkWidget *allow_list = NULL; |
| 1838 static GtkWidget *block_list = NULL; | 1838 static GtkWidget *block_list = NULL; |
| 1839 | 1839 |
| 1840 static void set_deny_mode(GtkWidget *w, int data) | 1840 static void set_deny_mode(GtkWidget *w, int data) |
| 1841 { | 1841 { |
| 1842 if (!gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(w))) | |
| 1843 return; | |
| 1844 debug_printf("setting deny mode %d\n", data); | |
| 1842 current_deny_gc->permdeny = data; | 1845 current_deny_gc->permdeny = data; |
| 1843 serv_set_permit_deny(current_deny_gc); | 1846 serv_set_permit_deny(current_deny_gc); |
| 1844 do_export(current_deny_gc); | 1847 do_export(current_deny_gc); |
| 1845 } | 1848 } |
| 1846 | 1849 |
| 1853 else | 1856 else |
| 1854 opt = | 1857 opt = |
| 1855 gtk_radio_button_new_with_label(gtk_radio_button_group(GTK_RADIO_BUTTON(set)), | 1858 gtk_radio_button_new_with_label(gtk_radio_button_group(GTK_RADIO_BUTTON(set)), |
| 1856 label); | 1859 label); |
| 1857 gtk_box_pack_start(GTK_BOX(box), opt, FALSE, FALSE, 0); | 1860 gtk_box_pack_start(GTK_BOX(box), opt, FALSE, FALSE, 0); |
| 1858 gtk_signal_connect(GTK_OBJECT(opt), "clicked", GTK_SIGNAL_FUNC(set_deny_mode), (void *)which); | 1861 gtk_signal_connect(GTK_OBJECT(opt), "toggled", GTK_SIGNAL_FUNC(set_deny_mode), (void *)which); |
| 1859 gtk_widget_show(opt); | 1862 gtk_widget_show(opt); |
| 1860 if (current_deny_gc->permdeny == which) | 1863 if (current_deny_gc->permdeny == which) |
| 1861 gtk_toggle_button_set_state(GTK_TOGGLE_BUTTON(opt), TRUE); | 1864 gtk_toggle_button_set_state(GTK_TOGGLE_BUTTON(opt), TRUE); |
| 1862 | 1865 |
| 1863 return opt; | 1866 return opt; |
