I just filed this against PDE/UI: Bug 374789 - Buttons in extension editor are broken https://bugs.eclipse.org/bugs/show_bug.cgi?id=374789
This might be of interest for everybody planning to demo any configuration of any kind of Plug-in project at EclipseCon. best, Stephan _______________________________________________ cross-project-issues-dev mailing list cross-project-issues-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
