Merge pull request #7344 from m-kuhn/console_no_immediate_print

Make console printing safe again
This commit is contained in:
Matthias Kuhn 2018-07-03 12:58:08 -05:00 committed by GitHub
commit b66a6430be
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -61,7 +61,7 @@ class writeOut(object):
self.move_cursor_to_end()
if self.style != "_traceback":
QCoreApplication.processEvents()
self.sO.repaint()
if self.fire_keyboard_interrupt:
self.fire_keyboard_interrupt = False