From: Holger Schemel Date: Thu, 25 Apr 2019 17:06:11 +0000 (+0200) Subject: fixed bug with restarting pointer-style global animations when moving mouse X-Git-Tag: 4.1.3.0~5 X-Git-Url: https://git.artsoft.org/?p=rocksndiamonds.git;a=commitdiff_plain;h=d89a9ba5381e625d4e993d9ee5a69b9010b43180;hp=d89a9ba5381e625d4e993d9ee5a69b9010b43180 fixed bug with restarting pointer-style global animations when moving mouse ---