equal
deleted
inserted
replaced
432 |
432 |
433 self._init_beremiz_sizers() |
433 self._init_beremiz_sizers() |
434 |
434 |
435 def __init__(self, parent, projectOpen=None, buildpath=None, plugin_root=None, debug=True): |
435 def __init__(self, parent, projectOpen=None, buildpath=None, plugin_root=None, debug=True): |
436 IDEFrame.__init__(self, parent, debug) |
436 IDEFrame.__init__(self, parent, debug) |
437 self.Config = wx.ConfigBase.Get() |
|
438 self.Log = LogPseudoFile(self.LogConsole,self.RiseLogConsole) |
437 self.Log = LogPseudoFile(self.LogConsole,self.RiseLogConsole) |
439 |
438 |
440 self.local_runtime = None |
439 self.local_runtime = None |
441 self.runtime_port = None |
440 self.runtime_port = None |
442 self.local_runtime_tmpdir = None |
441 self.local_runtime_tmpdir = None |
565 def OnCloseFrame(self, event): |
564 def OnCloseFrame(self, event): |
566 if self.PluginRoot is None or self.CheckSaveBeforeClosing(_("Close Application")): |
565 if self.PluginRoot is None or self.CheckSaveBeforeClosing(_("Close Application")): |
567 if self.PluginRoot is not None: |
566 if self.PluginRoot is not None: |
568 self.PluginRoot.KillDebugThread() |
567 self.PluginRoot.KillDebugThread() |
569 self.KillLocalRuntime() |
568 self.KillLocalRuntime() |
|
569 |
|
570 self.SaveFrameSize() |
|
571 |
570 event.Skip() |
572 event.Skip() |
571 else: |
573 else: |
572 event.Veto() |
574 event.Veto() |
573 |
575 |
574 def OnMoveWindow(self, event): |
576 def OnMoveWindow(self, event): |