ffleurey/ThingML — pull request #17 by haoshaochi (2012-04-24 15:10:42+00:00)
Title: compilers menu added to ThingML Editor

To solve the problem that having one button for each compiler is not very scalable.