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>

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);\
 }