scala-ide/scala-ide — pull request #705 by skyluc (2014-05-27 10:20:13+00:00)
Title: Hides the Scala version chooser if runtime < 2.11

The possibility to build on different source level is only available from Scala 2.11.
Do not show the UI if not applicable.