tools/JavaCompilerProblemService.st
branchdevelopment
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'!