branch | jv |
changeset 13332 | 5c76049c86f1 |
parent 12431 | 9f0c59c742d5 |
child 15566 | 184cea584be5 |
--- a/Tools__LintHighlighter.st Fri Aug 09 01:11:01 2013 +0100 +++ b/Tools__LintHighlighter.st Thu Aug 15 12:42:38 2013 +0100 @@ -234,9 +234,10 @@ !LintHighlighter methodsFor:'initialization'! reset - annotations := #(). + annotations := OrderedCollection new. "Created: / 18-02-2012 / 22:54:53 / Jan Vrany <jan.vrany@fit.cvut.cz>" + "Modified: / 15-08-2013 / 12:40:07 / Jan Vrany <jan.vrany@fit.cvut.cz>" ! ! !LintHighlighter methodsFor:'markup'!