equal
deleted
inserted
replaced
113 |
113 |
114 MainThread = currentThread().ident |
114 MainThread = currentThread().ident |
115 REFRESH_PERIOD = 0.1 |
115 REFRESH_PERIOD = 0.1 |
116 |
116 |
117 |
117 |
118 class LogPseudoFile: |
118 class LogPseudoFile(object): |
119 """ Base class for file like objects to facilitate StdOut for the Shell.""" |
119 """ Base class for file like objects to facilitate StdOut for the Shell.""" |
120 def __init__(self, output, risecall): |
120 def __init__(self, output, risecall): |
121 self.red_white = 1 |
121 self.red_white = 1 |
122 self.red_yellow = 2 |
122 self.red_yellow = 2 |
123 self.black_white = wx.stc.STC_STYLE_DEFAULT |
123 self.black_white = wx.stc.STC_STYLE_DEFAULT |