branch | development |
changeset 2647 | 8feaf04a003d |
parent 2646 | 39856623a013 |
child 2648 | f871848ecfa8 |
--- a/tools/JavaCompilerProblemService.st Wed Aug 07 02:07:18 2013 +0100 +++ b/tools/JavaCompilerProblemService.st Thu Aug 08 10:41:42 2013 +0100 @@ -115,8 +115,10 @@ updateProblems: class problems := JavaCompilerProblemRegistry problemsFor: class. self rehighlight: true. + gutterView invalidate. "Created: / 06-08-2013 / 20:18:19 / Jan Vrany <jan.vrany@fit.cvut.cz>" + "Modified: / 08-08-2013 / 00:19:04 / Jan Vrany <jan.vrany@fit.cvut.cz>" ! ! !JavaCompilerProblemService methodsFor:'drawing'!