scala-ide/scala-ide — pull request #180 by dotta (2012-08-12 19:57:20+00:00)
Title: Small refactoring to avoid duplication of code in worksheet plugin

* Added scalac-position converter in MarkerFactory (avoids duplication in the worksheet).
* Added a SWTUtils.syncExec method (use it with care).