HomeIsabelle/Phabricator

XWindows: Replace the two calls to process_may_block by direct calls to…

Description

XWindows: Replace the two calls to process_may_block by direct calls to ThreadPauseForIO.
This is executed on a separate thread and the output queue may not be flushed if the
reading thread is already blocked.

Details

Provenance
dcjmAuthored on Aug 14 2020, 1:20 PM
Parents
rPOLYMLf54aa41240d0: Functions marked as InlineAlways can be recursive and so the inline marking has…
Branches
Unknown
Tags
Unknown