diff options
| author | Mark Tiefenbruck <mark@fluxbox.org> | 2008-10-15 02:40:33 (GMT) |
|---|---|---|
| committer | Mark Tiefenbruck <mark@fluxbox.org> | 2008-10-15 02:40:33 (GMT) |
| commit | 9bd64010135e26f97fa4d4d551737847fedfbcdd (patch) | |
| tree | de54d9641c4923b153d3d79ccc25ac414e22574b /src/GenericTool.cc | |
| parent | 7380a1f8f2292f0cbc00bdb8d2e7fc0ded84f816 (diff) | |
| download | fluxbox_paul-9bd64010135e26f97fa4d4d551737847fedfbcdd.zip fluxbox_paul-9bd64010135e26f97fa4d4d551737847fedfbcdd.tar.bz2 | |
ignore XRandr events that don't actually change the screen size
Diffstat (limited to 'src/GenericTool.cc')
0 files changed, 0 insertions, 0 deletions