I just ran into the issue again of losing the cursor as described at commit 3a9f1ed91eb. It hasn't happened in a month or so. Sadly the few mouse-clicks I did before checking logs made it difficult to determine which click was problematic.