equal
deleted
inserted
replaced
107 self.Bind(wx.EVT_BUTTON, self.OnCloseButton, self.CloseButton) |
107 self.Bind(wx.EVT_BUTTON, self.OnCloseButton, self.CloseButton) |
108 buttons_sizer.AddWindow(self.CloseButton) |
108 buttons_sizer.AddWindow(self.CloseButton) |
109 |
109 |
110 self.SetSizer(main_sizer) |
110 self.SetSizer(main_sizer) |
111 |
111 |
112 for name, label in GetElementsChoices(): |
112 for _name, label in GetElementsChoices(): |
113 self.ElementsList.Append(_(label)) |
113 self.ElementsList.Append(_(label)) |
114 |
114 |
115 self.Fit() |
115 self.Fit() |
116 self.infosPrev = {} |
116 self.infosPrev = {} |
117 self.criteria = {} |
117 self.criteria = {} |
152 } |
152 } |
153 if self.WholeProject.GetValue(): |
153 if self.WholeProject.GetValue(): |
154 infos["filter"] = "all" |
154 infos["filter"] = "all" |
155 elif self.OnlyElements.GetValue(): |
155 elif self.OnlyElements.GetValue(): |
156 infos["filter"] = [] |
156 infos["filter"] = [] |
157 for index, (name, label) in enumerate(GetElementsChoices()): |
157 for index, (name, _label) in enumerate(GetElementsChoices()): |
158 if self.ElementsList.IsChecked(index): |
158 if self.ElementsList.IsChecked(index): |
159 infos["filter"].append(name) |
159 infos["filter"].append(name) |
160 |
160 |
161 if self.infosPrev != infos: |
161 if self.infosPrev != infos: |
162 try: |
162 try: |