diff options
| author | Javier <dev.git@javispedro.com> | 2015-02-05 01:40:05 +0100 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2015-02-05 01:40:05 +0100 |
| commit | 1dc127856d0ac52905bd3f647c9f224d0030f3f0 (patch) | |
| tree | 415130202b83542f18f84cd0f11197cc75df0e62 /global.h | |
| parent | 6b15d16de624be86060e7b484062d03f478b14a7 (diff) | |
| download | topmenu-gtk-1dc127856d0ac52905bd3f647c9f224d0030f3f0.tar.gz topmenu-gtk-1dc127856d0ac52905bd3f647c9f224d0030f3f0.zip | |
ignore several types of windows, such as docks
Diffstat (limited to 'global.h')
0 files changed, 0 insertions, 0 deletions