equal
deleted
inserted
replaced
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() |