equal
deleted
inserted
replaced
780 message.Destroy() |
780 message.Destroy() |
781 dialog.Destroy() |
781 dialog.Destroy() |
782 event.Skip() |
782 event.Skip() |
783 |
783 |
784 def OnExportCMenu(self, event): |
784 def OnExportCMenu(self, event): |
785 dialog = wxFileDialog(self, "Choose a file", os.getcwd(), self.Manager.GetCurrentNodeInfos()[0], "CANFestival OD files (*.c)|*.c|All files|*.*", wxSAVE|wxOVERWRITE_PROMPT|wxCHANGE_DIR) |
785 dialog = wxFileDialog(self, "Choose a file", os.getcwd(), self.Manager.GetCurrentNodeInfos()[0], "CANFestival C files (*.c)|*.c|All files|*.*", wxSAVE|wxOVERWRITE_PROMPT|wxCHANGE_DIR) |
786 if dialog.ShowModal() == wxID_OK: |
786 if dialog.ShowModal() == wxID_OK: |
787 filepath = dialog.GetPath() |
787 filepath = dialog.GetPath() |
788 if os.path.isdir(os.path.dirname(filepath)): |
788 if os.path.isdir(os.path.dirname(filepath)): |
789 path, extend = os.path.splitext(filepath) |
789 path, extend = os.path.splitext(filepath) |
790 if extend in ("", "."): |
790 if extend in ("", "."): |