| // RAP [bm]: no external editors |
| ///******************************************************************************* |
| // * Copyright (c) 2000, 2006 IBM Corporation and others. |
| // * All rights reserved. This program and the accompanying materials |
| // * are made available under the terms of the Eclipse Public License v1.0 |
| // * which accompanies this distribution, and is available at |
| // * http://www.eclipse.org/legal/epl-v10.html |
| // * |
| // * Contributors: |
| // * IBM Corporation - initial API and implementation |
| // *******************************************************************************/ |
| //package org.eclipse.ui; |
| // |
| //import org.eclipse.core.runtime.IPath; |
| // |
| ///** |
| // * An editor launcher is used to launch external editors on a |
| // * file in the local file system. |
| // * <p> |
| // * 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 <code>"org.eclipse.ui.editors"</code>). |
| // * |
| // * For example, the plug-in's XML markup might contain: |
| // * <pre> |
| // * <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> |
| // * </pre> |
| // * </p><p> |
| // * In this example a launcher has been registered for use with <code>xml</code> |
| // * files. Once registered, the launcher will appear in the <code>Open With</code> |
| // * menu for an <code>xml</code> file. If the item is invoked the workbench will |
| // * create an instance of the launcher class and call <code>open</code> on it, |
| // * passing the input file. |
| // * </p> |
| // * @since 1.1 |
| // */ |
| //public interface IEditorLauncher { |
| // |
| // /** |
| // * Launches this external editor to edit the file at the given |
| // * location in the local file system. |
| // * |
| // * @param file the local file system path of the file to edit |
| // */ |
| // public void open(IPath file); |
| //} |