Add profiles to the plugin

cincheo / jsweet-eclipse-plugin

The official Eclipse plugin for the JSweet transpiler

http://www.jsweet.org

Apache License 2.0

20 stars 10 forks source link

Closed renaudpawlak closed 8 years ago

renaudpawlak commented 8 years ago

This is a proposal. I am not sure that it is worth the complexity.

Add a dropdown to select a profile, and buttons to add/remove profiles.

Each profile defines another instance of the transpiler configuration.

The plugin with then transpile according to all the defined profiles (one process per profile).

renaudpawlak commented 8 years ago

Issue #10 explains use cases better.

renaudpawlak commented 8 years ago

Done :)