author | laurent |
Thu, 20 Oct 2011 00:05:38 +0200 | |
changeset 579 | bc333e073aa3 |
parent 578 | 73138d14d88d |
child 580 | ad996deb920e |
--- a/RessourceEditor.py Tue Oct 18 22:20:10 2011 +0200 +++ b/RessourceEditor.py Thu Oct 20 00:05:38 2011 +0200 @@ -72,7 +72,7 @@ def RefreshScaling(self, refresh=True): pass - def ClearHighlights(self): + def ClearHighlights(self, highlight_type=None): pass #-------------------------------------------------------------------------------