Bram Moolenaar 62426e168e patch 8.0.0925: MS-Windows GUI: channel I/O not handled right away ...

Problem:    MS-Windows GUI: channel I/O not handled right away.
Solution:   Don't call process_message() unless a message is available.
            (Yasuhiro Matsumoto, closes #1969)

2017-08-13 15:37:58 +02:00

208 KiB

Raw Blame History

View Raw