eclipse-color-theme/eclipse-color-theme — pull request #202 by tOnI0 (2014-08-05 20:23:27+00:00)
Title: Add support for Geppetto 4.2 new module editor

Can also fit in #196