scala-ide/scala-ide — pull request #66 by JHeiner (2012-01-30 17:30:55+00:00)
Title: Fixing race conditions in the interpreter wrappers.

Completely replaced EclipseRepl to clearly define its behavior and isolate all its actions inside its Actor. Found one race condition in ReplConsoleView, and also updated it and RunSelectionAction to use the new EclipseRepl API.