| changeset 598 | 6c919bc1551d |
| parent 597 | 6fbfd3bf2927 |
| child 599 | c7be4d09c5f4 |
| 597:6fbfd3bf2927 | 598:6c919bc1551d |
|---|---|
907 self.PluginRoot._connector = None |
907 self.PluginRoot._connector = None |
908 |
908 |
909 self.PluginRoot.KillDebugThread() |
909 self.PluginRoot.KillDebugThread() |
910 self.KillLocalRuntime() |
910 self.KillLocalRuntime() |
911 |
911 |
912 self.SaveFrameSize() |
|
913 |
|
912 lpcberemiz_cmd.Log.write("Closed\n") |
914 lpcberemiz_cmd.Log.write("Closed\n") |
913 |
915 |
914 event.Veto() |
916 event.Veto() |
915 |
917 |
916 def ShowProperties(self): |
918 def ShowProperties(self): |