scala-ide/scala-ide — pull request #23 by dragos (2011-10-28 08:40:05+00:00)
Title: Make 'resetPresentationCompiler' do nothing on reset, if the presentation

Make 'resetPresentationCompiler' do nothing on reset, if the presentation compiler
was not yet initialized. This avoids waking up the compiler just to tell it to shutdown,
and also eliminates a source of deadlocks or recursive initializations (for instance, if
reset is called while initializing the presentation compiler). Fixed #1000704. Prerequisite for #1000699.