scala-ide/scala-ide — pull request #229 by dragos (2012-11-09 14:59:11+00:00)
Title: Use the proper platform methods in the Scala launcher

This is a small refactoring that improves a bit the Scala launcher:

* the existence of the main class is checked in `finalLaunchCheck`, instead of inside `launch`
* compilation errors are done through markers, and integrates with the platform error message. This check is also done during `finalLaunchCheck` and now prompts the user if any required project has compilation errors before launching.

Fixed #100740, possibly others. :)