From 166db1e16f386f16b773f32863d13a87465e31df Mon Sep 17 00:00:00 2001
From: ThomasV <thomasv@gitorious>
Date: Sat, 23 Feb 2013 20:33:10 +0100
Subject: [PATCH] add flush method for stdoutProxy, for compatibility

---
 lib/qt_console.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/qt_console.py b/lib/qt_console.py
index 82d9ba0d..68eb458a 100644
--- a/lib/qt_console.py
+++ b/lib/qt_console.py
@@ -159,6 +159,9 @@ class Console(QtGui.QPlainTextEdit):
                     self.write_func = write_func
                     self.skip = False
 
+                def flush(self):
+                    pass
+
                 def write(self, text):
                     if not self.skip:
                         stripped_text = text.rstrip('\n')