plugger.py
changeset 534 80f05b17de1e
parent 529 ffe0fba7e427
child 535 f8cecd8eb32e
equal deleted inserted replaced
531:ba136820dd7d 534:80f05b17de1e
   882         dialog.Destroy()
   882         dialog.Destroy()
   883         if answer == wx.ID_YES:
   883         if answer == wx.ID_YES:
   884             if self.SaveProjectAs():
   884             if self.SaveProjectAs():
   885                 self.AppFrame.RefreshAll()
   885                 self.AppFrame.RefreshAll()
   886                 self.AppFrame.RefreshTitle()
   886                 self.AppFrame.RefreshTitle()
       
   887                 self.AppFrame.RefreshFileMenu()
   887                 return True
   888                 return True
   888         return False
   889         return False
   889     
   890     
   890     def NewProject(self, ProjectPath, BuildPath=None):
   891     def NewProject(self, ProjectPath, BuildPath=None):
   891         """
   892         """