scala-ide/scala-ide — pull request #245 by dragos (2012-12-05 14:04:29+00:00)
Title: Don't reuse a MarkOccurrences index if the global instance is not curren...

...t anymore.

Cached indexes may survive longer than a presentation compiler (for instance, when compiler settings are changed the presentation compiler restarts). This leads to wrong accesses to a "dead" compiler while using the index.

Also switched to a weak reference in the cache. If there are many editors open, this can lead to significant memory consumption (especially when the compiler is out-dated).

Fixed #1001303.