+1 The theme editor is very useful. Looking forward to have it in the incubator. :-)
Voting summary: http://portal.eclipse.org/ _______________________________________________ rap-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/rap-dev
