<extension point="org.eclipse.ui.splashHandlers">
<splashHandler
class="org.apache.uima.caseditor.splashHandlers.ExtensibleSplashHandle
r"
id="org.apache.uima.caseditor.splashHandlers.extensible">
</splashHandler>
<splashHandler
class="org.apache.uima.caseditor.splashHandlers.InteractiveSplashHandl
er"
id="org.apache.uima.caseditor.splashHandlers.interactive">
</splashHandler>
</extension>
in the plugin.xml is only available for eclipse 3.3?
Yes you need eclipse 3.3 for this, but currently it is not used.
I added it accidently with the product synchronization mechanism.
This extension can be deleted. There are two other extension points
for the splash screen (they have "splash" in the extension point id)
they can
be removed too.
Should I submit a patch for this ?
Thanks,
Jörn
