scala/scala — pull request #2387 by vigdorchik (2013-04-12 12:07:42+00:00)
Title: Interactive scaladoc: demand new typer run when done.

As of now, when further backgroundCompile is in the same typer run as
scaladoc-fetching logic, it gets confused with stale symbols.

Please check if there are other inconsistencies in this PC method.
Review by @odersky.