UI/LogView.py

changeset 5020
d0afdfd8e45b
parent 4631
5c1a96925da4
child 5389
9b1c800daff3
diff -r ca1d44f0f6b2 -r d0afdfd8e45b UI/LogView.py
--- a/UI/LogView.py	Sun Jul 03 16:34:45 2016 +0200
+++ b/UI/LogView.py	Wed Jul 06 19:27:15 2016 +0200
@@ -18,6 +18,7 @@
 
 import UI.PixmapCache
 import Preferences
+import Utilities
 
 
 class LogViewer(QWidget):
@@ -156,7 +157,7 @@
             self.setCurrentCharFormat(self.cErrorFormat)
         else:
             self.setCurrentCharFormat(self.cNormalFormat)
-        self.insertPlainText(txt)
+        self.insertPlainText(Utilities.filterAnsiSequences(txt))
         self.ensureCursorVisible()
         
     def __filterMessage(self, message, isErrorMessage=False):
@@ -169,6 +170,8 @@
         @return flag indicating that the message should be filtered out
             (boolean)
         """
+        message = Utilities.filterAnsiSequences(message)
+        
         if isErrorMessage:
             filters = self.__stderrFilter + self.__stdxxxFilter
         else:

eric ide

mercurial