scala/scala-dist — pull request #13 by snim2 (2012-02-19 17:29:21+00:00)
Title: Gedit3 plugin for Scala

Adds a Gedit3 plugin from the repo git@github.com:snim2/gedit-scala-plugin.git which adds automatic compilation and error highlighting and other features for Scala files in gedit3. The README has been updated to include instructions for both the syntax highlighter and the plugin. A BASH script to automatically install both parts of the gedit support has also been added.