supercollider/supercollider — pull request #970 by muellmusik (2013-10-06 15:59:42+00:00)
Title: Ide editor improvements improvements

Improvements to the commit history of the ide-edior-improvements branch. This branch replaces that one.