scala-ide/scala-worksheet — pull request #128 by nadavwr (2013-04-28 23:11:03+00:00)
Title: Preference for specifying VM arguments

Added preference for specifying VM arguments to be used by worksheet processes.
Adjusted preference page layout to accomodate for new field