equal
deleted
inserted
replaced
407 infos = self.PluginRoot.ShowError(self.Log, |
407 infos = self.PluginRoot.ShowError(self.Log, |
408 (int(first_line), int(first_column)), |
408 (int(first_line), int(first_column)), |
409 (int(last_line), int(last_column))) |
409 (int(last_line), int(last_column))) |
410 |
410 |
411 def OnCloseFrame(self, event): |
411 def OnCloseFrame(self, event): |
412 # shutdown local runtime |
|
413 self.local_runtime.kill(SIGKILL) |
|
414 # clear temp dir |
|
415 shutil.rmtree(self.local_runtime_tmpdir) |
|
416 |
412 |
417 if self.PluginRoot.HasProjectOpened(): |
413 if self.PluginRoot.HasProjectOpened(): |
418 if self.PluginRoot.ProjectTestModified(): |
414 if self.PluginRoot.ProjectTestModified(): |
419 dialog = wx.MessageDialog(self, |
415 dialog = wx.MessageDialog(self, |
420 "Save changes ?", |
416 "Save changes ?", |
423 answer = dialog.ShowModal() |
419 answer = dialog.ShowModal() |
424 dialog.Destroy() |
420 dialog.Destroy() |
425 if answer == wx.ID_YES: |
421 if answer == wx.ID_YES: |
426 self.PluginRoot.SaveProject() |
422 self.PluginRoot.SaveProject() |
427 event.Skip() |
423 event.Skip() |
428 return |
|
429 elif answer == wx.ID_NO: |
424 elif answer == wx.ID_NO: |
430 event.Skip() |
425 event.Skip() |
431 return |
426 return |
432 else: |
427 else: |
433 event.Veto() |
428 event.Veto() |
434 return |
429 return |
|
430 |
|
431 # shutdown local runtime |
|
432 self.local_runtime.kill(SIGKILL) |
|
433 # clear temp dir |
|
434 shutil.rmtree(self.local_runtime_tmpdir) |
|
435 |
435 event.Skip() |
436 event.Skip() |
436 |
437 |
437 def OnMoveWindow(self, event): |
438 def OnMoveWindow(self, event): |
438 self.GetBestSize() |
439 self.GetBestSize() |
439 self.RefreshScrollBars() |
440 self.RefreshScrollBars() |