enable/disable stuff properly for the new screen edge warp option
authorDana Jansens <danakj@orodu.net>
Sat, 4 Aug 2007 16:05:32 +0000 (12:05 -0400)
committerDana Jansens <danakj@orodu.net>
Sat, 4 Aug 2007 16:05:32 +0000 (12:05 -0400)
src/windows.c

index 26efd8a..8f9421a 100644 (file)
@@ -244,6 +244,7 @@ void on_warp_edge_toggled(GtkToggleButton *w, gpointer data)
     }
     else
         tree_set_int("mouse/screenEdgeWarpTime", 0);
+    enable_stuff();
 }
 
 void on_warp_edge_time_value_changed(GtkSpinButton *w, gpointer data)