ProjectController.py
changeset 792 fd113777d1ae
parent 789 b1b1a8f85e2f
child 796 92071c4b85e9
equal deleted inserted replaced
791:67b47775ba21 792:fd113777d1ae
  1039         if self._IECRawCodeView == view:
  1039         if self._IECRawCodeView == view:
  1040             self._IECRawCodeView = None
  1040             self._IECRawCodeView = None
  1041         if self._ProjectFilesView == view:
  1041         if self._ProjectFilesView == view:
  1042             self._ProjectFilesView = None
  1042             self._ProjectFilesView = None
  1043         if view in self._FileEditors.values():
  1043         if view in self._FileEditors.values():
  1044             self._FileEditors.pop(view.GetTagName())
  1044             self._FileEditors.pop(view.GetFilePath())
  1045 
  1045 
  1046     def _Clean(self):
  1046     def _Clean(self):
  1047         self._CloseView(self._IECCodeView)
  1047         self._CloseView(self._IECCodeView)
  1048         if os.path.isdir(os.path.join(self._getBuildPath())):
  1048         if os.path.isdir(os.path.join(self._getBuildPath())):
  1049             self.logger.write(_("Cleaning the build directory\n"))
  1049             self.logger.write(_("Cleaning the build directory\n"))