equal
deleted
inserted
replaced
300 def __init__(self, parent, filesOpen = []): |
300 def __init__(self, parent, filesOpen = []): |
301 self._init_ctrls(parent) |
301 self._init_ctrls(parent) |
302 self.HtmlFrameOpened = [] |
302 self.HtmlFrameOpened = [] |
303 self.ModeSolo = True |
303 self.ModeSolo = True |
304 |
304 |
|
305 # Add beremiz's icon in top left corner of the frame |
|
306 if wx.Platform == '__WXMSW__': |
|
307 icon = wx.Icon(os.path.join(ScriptDirectory,"objdictedit.ico"),wx.BITMAP_TYPE_ICO) |
|
308 else: |
|
309 icon = wx.Icon(os.path.join(ScriptDirectory,"objdictedit.png"),wx.BITMAP_TYPE_PNG) |
|
310 self.SetIcon(icon) |
|
311 |
305 self.Manager = NodeManager() |
312 self.Manager = NodeManager() |
306 for filepath in filesOpen: |
313 for filepath in filesOpen: |
307 result = self.Manager.OpenFileInCurrent(filepath) |
314 result = self.Manager.OpenFileInCurrent(filepath) |
308 if type(result) == IntType: |
315 if type(result) == IntType: |
309 new_editingpanel = EditingPanel(self.FileOpened, self, self.Manager) |
316 new_editingpanel = EditingPanel(self.FileOpened, self, self.Manager) |