enable/disable stuff properly for the new screen edge warp option

diff --git a/src/windows.c b/src/windows.c
index 26efd8a6e4e2bd9961ef5c93ced7539c75adb6a7..8f9421a83f24018e59f992652e5c5b56741e990c 100644 (file)
--- a/src/windows.c
+++ b/src/windows.c
@@ -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)