From d4ec4c3d1d6a348af5dd60144c93dcdca665e3f5 Mon Sep 17 00:00:00 2001
From: Spencer Janssen <sjanssen@cse.unl.edu>
Date: Thu, 3 May 2007 05:20:40 +0200
Subject: Use updated refreshKeyboardMapping.  Requires latest X11-extras

darcs-hash:20070503032040-a5988-f30dac176a6db3139e07c8b29bbc31d27c67d410
---
 Main.hs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/Main.hs b/Main.hs
index ecd975d..2bf17c3 100644
--- a/Main.hs
+++ b/Main.hs
@@ -153,10 +153,7 @@ handle (UnmapEvent         {ev_window = w}) = do b <- isClient w; when b $ unman
 
 -- set keyboard mapping
 handle e@(MappingNotifyEvent {ev_window = w}) = do
-    -- this fromIntegral is only necessary with the old X11 version that uses
-    -- Int instead of CInt.  TODO delete it when there is a new release of X11
-    let m = (ev_request e, ev_first_keycode e, fromIntegral $ ev_count e)
-    withDisplay $ \d -> io $ refreshKeyboardMapping d m
+    io $ refreshKeyboardMapping e
     when (ev_request e == mappingKeyboard) $ withDisplay $ io . flip grabKeys w
 
 -- click on an unfocussed window
-- 
cgit v1.2.3