scala-ide/scala-ide — comment on commit 30b65c4218dd9974aaaef01f30cc5003e844f348
File: org.scala-ide.sdt.core/src/scala/tools/eclipse/semantic/highlighting/SemanticHighlightingPresenter.scala line 46
By dragos:

I'm fairly confident there's just one in 3.6, not sure how it is in 3.7, or if they're going to change that in the future. I don't have a strong feeling, either document it or add synchronization (since it doesn't look like a hotspot, it wouldn't slow down things too much).