diff options
| author | Dana Jansens <danakj@orodu.net> | 2003-03-28 08:21:38 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2003-03-28 08:21:38 +0000 |
| commit | 96a81e8837ae71f5bffe4f2c7c427d2402078393 (patch) | |
| tree | ca6403c8e3a69e421184fb3d14d4a551ea2ce1d8 /plugins/mouse | |
| parent | beb489feeb8a66c59be2f3c83f4397d2b4e6dc01 (diff) | |
handle better the case of choosing the window to focus but it is already focused when switching desktops
Diffstat (limited to 'plugins/mouse')
0 files changed, 0 insertions, 0 deletions
