diff options
| author | Javier <dev.git@javispedro.com> | 2015-02-15 03:57:49 +0100 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2015-02-15 03:57:49 +0100 |
| commit | d82d349daa3fdccbef0186ae19311004c4bb2434 (patch) | |
| tree | 81192b3ce05e59005e2885bd04d6461586146bf2 /libtopmenu-client/topmenu-monitor.h | |
| parent | f0d43c65fe9c6b258a92ae9dfd612eae0060754b (diff) | |
| download | topmenu-gtk-d82d349daa3fdccbef0186ae19311004c4bb2434.tar.gz topmenu-gtk-d82d349daa3fdccbef0186ae19311004c4bb2434.zip | |
be slightly more reliable when following destroyed windows
Diffstat (limited to 'libtopmenu-client/topmenu-monitor.h')
0 files changed, 0 insertions, 0 deletions