equal
deleted
inserted
replaced
127 self.RefreshLock = Lock() |
127 self.RefreshLock = Lock() |
128 self.TimerAccessLock = Lock() |
128 self.TimerAccessLock = Lock() |
129 self.stack = [] |
129 self.stack = [] |
130 self.LastRefreshTime = gettime() |
130 self.LastRefreshTime = gettime() |
131 self.LastRefreshTimer = None |
131 self.LastRefreshTimer = None |
|
132 self.refreshPending = False |
132 |
133 |
133 def write(self, s, style=None): |
134 def write(self, s, style=None): |
134 self.StackLock.acquire() |
135 self.StackLock.acquire() |
135 self.stack.append((s, style)) |
136 self.stack.append((s, style)) |
136 self.StackLock.release() |
137 self.StackLock.release() |
216 self.output.SetText("") |
217 self.output.SetText("") |
217 self.output.SetReadOnly(True) |
218 self.output.SetReadOnly(True) |
218 |
219 |
219 def isatty(self): |
220 def isatty(self): |
220 return False |
221 return False |
|
222 |
|
223 def progress(self, text): |
|
224 l = self.output.GetLineCount()-1 |
|
225 self.output.AnnotationSetText(l, text) |
|
226 self.output.AnnotationSetVisible(wx.stc.STC_ANNOTATION_BOXED) |
|
227 self.output.AnnotationSetStyle(l, self.black_white) |
|
228 if self.YieldLock.acquire(0): |
|
229 app = wx.GetApp() |
|
230 app.Yield() |
|
231 self.YieldLock.release() |
221 |
232 |
222 |
233 |
223 ID_FILEMENURECENTPROJECTS = wx.NewId() |
234 ID_FILEMENURECENTPROJECTS = wx.NewId() |
224 |
235 |
225 |
236 |