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 |
305 icon = wx.Icon(os.path.join(ScriptDirectory,"networkedit.ico"),wx.BITMAP_TYPE_ICO) |
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) |
306 self.SetIcon(icon) |
311 |
307 |
312 self.Manager = NodeManager() |
308 self.Manager = NodeManager() |
313 for filepath in filesOpen: |
309 for filepath in filesOpen: |
314 result = self.Manager.OpenFileInCurrent(filepath) |
310 result = self.Manager.OpenFileInCurrent(filepath) |