// 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>
// * &LT;extension point = "org.eclipse.ui.editors"&GT;
// *   &LT;editor
// *       id="org.eclipse.ui.SwingEditorLauncher"
// *       name="Swing Editor"
// *       extensions="xml"
// *       launcher="org.eclipse.ui.examples.swingeditor.SwingEditorLauncher"
// *       icon="icons/xml.gif"&GT;
// *   &LT;/editor&GT;
// * &LT;/extension&GT;
// * </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);
//}