From 575d7779d85ca5831ea9b70fbc8f8468e678ecf8 Mon Sep 17 00:00:00 2001
From: Dana Jansens <danakj@orodu.net>
Date: Sat, 4 Aug 2007 12:05:32 -0400
Subject: [PATCH] enable/disable stuff properly for the new screen edge warp
 option

---
 src/windows.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/windows.c b/src/windows.c
index 26efd8a..8f9421a 100644
--- 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)
-- 
2.34.1