equal
deleted
inserted
replaced
39 |
39 |
40 |
40 |
41 def Bpath(*args): |
41 def Bpath(*args): |
42 return os.path.join(beremiz_dir, *args) |
42 return os.path.join(beremiz_dir, *args) |
43 |
43 |
|
44 |
44 import wx.lib.buttons |
45 import wx.lib.buttons |
45 import wx.lib.statbmp |
46 import wx.lib.statbmp |
46 import wx.stc |
47 import wx.stc |
47 import cPickle |
48 import cPickle |
48 import types |
49 import types |
195 self.output.SetText("") |
196 self.output.SetText("") |
196 self.output.SetReadOnly(True) |
197 self.output.SetReadOnly(True) |
197 |
198 |
198 def isatty(self): |
199 def isatty(self): |
199 return False |
200 return False |
|
201 |
200 |
202 |
201 ID_FILEMENURECENTPROJECTS = wx.NewId() |
203 ID_FILEMENURECENTPROJECTS = wx.NewId() |
202 |
204 |
203 from IDEFrame import TITLE,\ |
205 from IDEFrame import TITLE,\ |
204 EDITORTOOLBAR,\ |
206 EDITORTOOLBAR,\ |
1077 viewer = self.TabsOpened.GetPage(selected) |
1079 viewer = self.TabsOpened.GetPage(selected) |
1078 viewer.AddHighlight(infos[1:], start, end, highlight_type) |
1080 viewer.AddHighlight(infos[1:], start, end, highlight_type) |
1079 else: |
1081 else: |
1080 IDEFrame.ShowHighlight(self, infos, start, end, highlight_type) |
1082 IDEFrame.ShowHighlight(self, infos, start, end, highlight_type) |
1081 |
1083 |
|
1084 |
1082 #------------------------------------------------------------------------------- |
1085 #------------------------------------------------------------------------------- |
1083 # Exception Handler |
1086 # Exception Handler |
1084 #------------------------------------------------------------------------------- |
1087 #------------------------------------------------------------------------------- |
1085 import threading |
1088 import threading |
1086 import traceback |
1089 import traceback |