comparison: src/prefs.c
src/prefs.c
- changeset 2676
- 79611599824c
- parent 2662
- 9201ea07c91e
- child 2725
- a844d0964552
equal
deleted
inserted
replaced
| 2675:3f7a2935813b | 2676:79611599824c |
|---|---|
| 1708 | 1708 |
| 1709 static void paldest(GtkWidget *m, gpointer n) | 1709 static void paldest(GtkWidget *m, gpointer n) |
| 1710 { | 1710 { |
| 1711 gtk_widget_destroy(prefs_away_list); | 1711 gtk_widget_destroy(prefs_away_list); |
| 1712 prefs_away_list = NULL; | 1712 prefs_away_list = NULL; |
| 1713 prefs_away_menu = NULL; | |
| 1713 make_away_button = NULL; | 1714 make_away_button = NULL; |
| 1714 } | 1715 } |
| 1715 | 1716 |
| 1716 static void do_away_mess(GtkWidget *m, gpointer n) | 1717 static void do_away_mess(GtkWidget *m, gpointer n) |
| 1717 { | 1718 { |
