diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-03-22 03:19:02 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-03-22 03:19:02 +0300 |
| commit | 20bbdf47fe60e4188c837b5f6041417bdf542b40 (patch) | |
| tree | dc6c14ab6258d5fff410e04678f6542019d7e540 /src/gui/widgets | |
| parent | e2864bf7fadbfc7a6ce6bbd5ef7a3645e1904b11 (diff) | |
| download | mv-20bbdf47fe60e4188c837b5f6041417bdf542b40.tar.gz mv-20bbdf47fe60e4188c837b5f6041417bdf542b40.tar.bz2 mv-20bbdf47fe60e4188c837b5f6041417bdf542b40.tar.xz mv-20bbdf47fe60e4188c837b5f6041417bdf542b40.zip | |
Clear icon pointer after icon was deleted in windowmanager.
Diffstat (limited to 'src/gui/widgets')
0 files changed, 0 insertions, 0 deletions