Make changes to some of the preference immediately visible

This is just a small part of the solution to the bigger problem with the
preferences.

See ticket 21

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>

1 files changed, 1 insertions, 0 deletions

diff --git a/gtk-gui.c b/gtk-gui.c
index 7a4f108ad..9edf408b9 100644
--- a/gtk-gui.c
+++ b/gtk-gui.c
@@ -471,6 +471,7 @@ static void name(GtkWidget *w, gpointer data)		\
 {							\
 	GtkWidget **entry = data;			\
 	option = GTK_TOGGLE_BUTTON(w)->active;		\
+	dive_list_update_dives();			\
 	if (entry)					\
 		gtk_widget_set_sensitive(*entry, option);\
 }