diff options
| author | Thomas Lübking <thomas.luebking@gmail.com> | 2016-08-11 12:51:07 (GMT) |
|---|---|---|
| committer | Mathias Gumz <akira@fluxbox.org> | 2016-08-26 06:34:00 (GMT) |
| commit | f176c108819be611371cf740663dec4f6352c8e8 (patch) | |
| tree | 2b966d846055037bf40b4b0f8f2fdc0571a77e8d /src/GenericTool.hh | |
| parent | 9613d2cd83ce8a38f532246e432e01eec062bc13 (diff) | |
| download | fluxbox-f176c108819be611371cf740663dec4f6352c8e8.zip fluxbox-f176c108819be611371cf740663dec4f6352c8e8.tar.bz2 | |
Grab Server when showing or switching desktop
Should reduce exposure events, notably since the
windows are not in stack order.
Diffstat (limited to 'src/GenericTool.hh')
0 files changed, 0 insertions, 0 deletions