| An editor launcher is used to launch external editors on a
file in the local file system.
Clients should implement this interface to define a new type of editor
launcher. Each new launcher must be registered as an editor in the
workbench's editor extension point
(named "org.eclipse.ui.editors").
For example, the plug-in's XML markup might contain:
<extension point = "org.eclipse.ui.editors">
<editor
id="org.eclipse.ui.SwingEditorLauncher"
name="Swing Editor"
extensions="xml"
launcher="org.eclipse.ui.examples.swingeditor.SwingEditorLauncher"
icon="icons/xml.gif">
</editor>
</extension>
In this example a launcher has been registered for use with xml
files. Once registered, the launcher will appear in the Open With
menu for an xml file. If the item is invoked the workbench will
create an instance of the launcher class and call open on it,
passing the input file.
|