diff options
author | Robin Gareus <robin@gareus.org> | 2017-05-11 14:20:33 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-05-11 14:20:56 +0200 |
commit | 24d5f1a6249b08a8b21854ecf001be7e07e5bf23 (patch) | |
tree | 0ea92155b52b4a2f93786e5b2064d11f63dab335 /libs/surfaces/osc/osc.cc | |
parent | 26593d08ed34402c05b712f43ca3918d061a8ccd (diff) |
Tweak/fix splash screen event-loop
Prevent possible endless loop in Splash::display() and handle
some related edge-cases and race conditions WRT expose_done
and is_visible().
Diffstat (limited to 'libs/surfaces/osc/osc.cc')
0 files changed, 0 insertions, 0 deletions