[jbosstools-dev] https://jira.jboss.org/jira/browse/JBIDE-2010
Hi Eugene,
I noticed that JBIDE-2010 have been resolved, but what was actually done ?
Is it done so others than VPE can use it ? e.g. that was why my comment
about not putting the preference page under VPE editor options but should
be more general.
--
-max