controls/ProjectPropertiesPanel.py
changeset 711 5f6a743dcde5
parent 702 ece862b07321
child 714 131ea7f237b9
equal deleted inserted replaced
710:365bb7496697 711:5f6a743dcde5
   351             else:
   351             else:
   352                 old_value = None
   352                 old_value = None
   353             new_value = self.Language.GetStringSelection()
   353             new_value = self.Language.GetStringSelection()
   354             if new_value == "":
   354             if new_value == "":
   355                 new_value = None
   355                 new_value = None
   356             print old_value, new_value
       
   357             if old_value != new_value:
   356             if old_value != new_value:
   358                 self.Controller.SetProjectProperties(properties={"language": new_value})
   357                 self.Controller.SetProjectProperties(properties={"language": new_value})
   359                 self.ParentWindow.RefreshTitle()
   358                 self.ParentWindow.RefreshTitle()
   360                 self.ParentWindow.RefreshFileMenu()
   359                 self.ParentWindow.RefreshFileMenu()
   361                 self.ParentWindow.RefreshEditMenu()
   360                 self.ParentWindow.RefreshEditMenu()