supercollider/supercollider — pull request #926 by muellmusik (2013-08-02 10:56:01+00:00)
Title: Ide editor improvements

These are a number of improvements to the UX of the editor in the IDE