| changeset 1741 | dd94b9a68c61 |
| parent 1740 | b789b695b5c6 |
| child 1742 | 92932cd370a4 |
| 1740:b789b695b5c6 | 1741:dd94b9a68c61 |
|---|---|
210 col_highlights.remove(highlight_type) |
210 col_highlights.remove(highlight_type) |
211 if len(col_highlights) == 0: |
211 if len(col_highlights) == 0: |
212 row_highlights.pop(col) |
212 row_highlights.pop(col) |
213 |
213 |
214 |
214 |
215 |
|
216 class ResourceEditor(EditorPanel): |
215 class ResourceEditor(EditorPanel): |
217 |
216 |
218 VARIABLE_PANEL_TYPE = "resource" |
217 VARIABLE_PANEL_TYPE = "resource" |
219 |
218 |
220 def _init_Editor(self, parent): |
219 def _init_Editor(self, parent): |