Tweak/fix splash screen event-loop
authorRobin Gareus <robin@gareus.org>
Thu, 11 May 2017 12:20:33 +0000 (14:20 +0200)
committerRobin Gareus <robin@gareus.org>
Thu, 11 May 2017 12:20:56 +0000 (14:20 +0200)
Prevent possible endless loop in Splash::display() and handle
some related edge-cases and race conditions WRT expose_done
and is_visible().


No differences found