mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-23 22:20:51 +00:00
21 lines
605 B
Diff
21 lines
605 B
Diff
--- xorg-server-1.4/dix/devices.c.orig 2007-10-19 17:04:51.000000000 -0200
|
|
+++ xorg-server-1.4/dix/devices.c 2007-10-23 17:50:38.000000000 -0200
|
|
@@ -294,7 +294,17 @@ CoreKeyboardBell(int volume, DeviceIntPt
|
|
static void
|
|
CoreKeyboardCtl(DeviceIntPtr pDev, KeybdCtrl *ctrl)
|
|
{
|
|
+#ifdef XKB
|
|
+ if (!noXkbExtension) {
|
|
+ DeviceIntPtr dev = (DeviceIntPtr)
|
|
+ pDev->devPrivates[CoreDevicePrivatesIndex].ptr;
|
|
+
|
|
+ if (dev && dev->key && dev->key->xkbInfo && dev->key->xkbInfo->kbdProc)
|
|
+ (*dev->key->xkbInfo->kbdProc)(dev, ctrl);
|
|
+ }
|
|
+#else
|
|
return;
|
|
+#endif
|
|
}
|
|
|
|
/**
|