supercollider/supercollider — pull request #1150 by vdonnefort (2014-07-15 08:26:19+00:00)
Title: ide: introducing themes management

This patch adds IDE themes management. It has the same behaviour as QtCreator.
There is some default theme provided and the user can copy them to create a new
one. Only user created theme can be edited. For now only default theme is
provided: "default".