equal
deleted
inserted
replaced
519 |
519 |
520 class PythonCodePanel(wx.Panel): |
520 class PythonCodePanel(wx.Panel): |
521 """Panel for the 'Demo Code' tab""" |
521 """Panel for the 'Demo Code' tab""" |
522 def __init__(self, parent, mainFrame): |
522 def __init__(self, parent, mainFrame): |
523 wx.Panel.__init__(self, parent, size=(1,1)) |
523 wx.Panel.__init__(self, parent, size=(1,1)) |
524 if 'wxMSW' in wx.PlatformInfo: |
|
525 self.Hide() |
|
526 self.mainFrame = mainFrame |
524 self.mainFrame = mainFrame |
527 self.editor = PythonCodeEditor(self) |
525 self.editor = PythonCodeEditor(self) |
528 self.editor.RegisterModifiedEvent(self.OnCodeModified) |
526 self.editor.RegisterModifiedEvent(self.OnCodeModified) |
529 |
527 |
530 self.btnSave = wx.Button(self, -1, "Save") |
528 self.btnSave = wx.Button(self, -1, "Save") |