From d41def38570056f97c841c82d053f2c2d87cb32b Mon Sep 17 00:00:00 2001
From: Josh Rahm <rahm@google.com>
Date: Mon, 18 Apr 2022 20:47:07 -0600
Subject: Change window border when selecting windows

---
 src/Rahm/Desktop/Submap.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Rahm/Desktop/Submap.hs')

diff --git a/src/Rahm/Desktop/Submap.hs b/src/Rahm/Desktop/Submap.hs
index 48a3144..5a05f9e 100644
--- a/src/Rahm/Desktop/Submap.hs
+++ b/src/Rahm/Desktop/Submap.hs
@@ -66,7 +66,7 @@ mapNextStringWithKeysym fn = do
 
   ret <- io $ fix $ \nextkey -> do
     ret <-
-      getMaskEventWithTimeout 2000 d keyPressMask $ \p -> do
+      getMaskEventWithTimeout 5000 d keyPressMask $ \p -> do
         KeyEvent { ev_keycode = code, ev_state = m } <- getEvent p
         keysym <- keycodeToKeysym d code 0
         (_, str) <- lookupString (asKeyEvent p)
-- 
cgit