tools/JavaLintService.st
changeset 3124 553b1c08b6b1
parent 2890 96f3d8a73343
child 3209 b96f863a8500
--- a/tools/JavaLintService.st	Fri Jun 13 08:43:55 2014 +0100
+++ b/tools/JavaLintService.st	Fri Jun 13 15:46:39 2014 +0100
@@ -279,8 +279,10 @@
     codeView languageHolder removeDependent: self.
     codeView classHolder    removeDependent: self.
     codeView methodHolder   removeDependent: self.
+    super unregister.
 
     "Created: / 24-10-2013 / 23:12:13 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 13-06-2014 / 14:17:21 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
 !JavaLintService class methodsFor:'documentation'!