|
From: Matthias K <mat...@us...> - 2006-07-08 17:35:09
|
Update of /cvsroot/jcommander/plugins/org.jcommander.ui.editor In directory sc8-pr-cvs6.sourceforge.net:/tmp/cvs-serv2671 Modified Files: plugin.xml Log Message: - [Feature Requests-1105827]: First implementation of simple build in editor, currently capable of highlighting html and xml - removed compare perspective, now using edit instead - All Editors can be closed with Esc Index: plugin.xml =================================================================== RCS file: /cvsroot/jcommander/plugins/org.jcommander.ui.editor/plugin.xml,v retrieving revision 1.5 retrieving revision 1.6 diff -C2 -d -r1.5 -r1.6 *** plugin.xml 2 Mar 2006 09:31:50 -0000 1.5 --- plugin.xml 8 Jul 2006 17:35:05 -0000 1.6 *************** *** 2,71 **** <?eclipse version="3.0"?> <plugin ! id="org.jcommander.ui.editor" ! name="JCommander Editor Plug-in" ! version="0.7.1" ! provider-name="JCmd Dev Team" ! class="org.jcommander.ui.editor.EditorPlugin"> ! <runtime> ! <library name="jcmd-editor.jar"> ! <export name="*"/> ! </library> ! </runtime> ! <requires> ! <import plugin="org.eclipse.ui"/> ! <import plugin="org.eclipse.core.runtime"/> ! <import plugin="org.eclipse.core.resources"/> ! <import plugin="org.jcommander.ui.utils"/> ! <import plugin="org.eclipse.jface.text"/> ! <import plugin="org.jcommander.vfsextensions"/> ! <import plugin="org.apache.commons.vfs"/> ! </requires> ! <extension ! point="org.eclipse.ui.perspectives"> <perspective ! icon="icons/editor.gif" ! class="org.jcommander.ui.editor.EditPerspectiveFactory" ! name="Edit" ! id="org.jcommander.ui.editor.Edit"/> ! </extension> ! <extension ! id="org.jcommander.edit.EditorPerspectiveExtension" ! name="Editor Perspective Extension" ! point="org.eclipse.ui.perspectiveExtensions"> ! <perspectiveExtension targetID="org.jcommander.ui.app.Edit"> ! <actionSet id="org.jcommander.ui.editor.actionSet"/> ! </perspectiveExtension> ! </extension> ! <extension ! point="org.eclipse.ui.actionSets"> ! <actionSet ! label="JCmd Editor Action Set" ! id="org.jcommander.ui.editor.actionSet"> ! <menu ! label="&File" ! id="file"> ! <separator name="group1"/> ! </menu> ! <action ! toolbarPath="sampleGroup" ! label="&Sample Action" ! class="org.jcommander.ui.editor.actions.SampleAction" ! tooltip="Hello, Eclipse world" ! icon="icons/editor.gif" ! menubarPath="file/group1" ! id="org.jcommander.ui.editor.actions.SampleAction"/> ! </actionSet> ! </extension> ! <extension ! point="org.eclipse.ui.editors"> ! <editor ! class="org.jcommander.ui.editor.JCmdEditorPart" ! icon="icons/file.gif" ! default="true" ! name="JCommander's Editor" ! id="org.jcommander.ui.editor.JCmdEditor"/> ! </extension> </plugin> --- 2,112 ---- <?eclipse version="3.0"?> <plugin ! id="org.jcommander.ui.editor" ! name="JCommander Editor Plug-in" ! version="0.7.1" ! provider-name="JCmd Dev Team" ! class="org.jcommander.ui.editor.EditorPlugin"> ! <runtime> ! <library name="jcmd-editor.jar"> ! <export name="*"/> ! </library> ! </runtime> ! <requires> ! <import plugin="org.eclipse.ui"/> ! <import plugin="org.eclipse.core.runtime"/> ! <import plugin="org.eclipse.core.resources"/> ! <import plugin="org.jcommander.ui.utils"/> ! <import plugin="org.eclipse.jface.text"/> ! <import plugin="org.jcommander.vfsextensions"/> ! <import plugin="org.apache.commons.vfs"/> ! <import plugin="org.eclipse.ui.workbench.texteditor"/> ! </requires> ! ! <extension ! point="org.eclipse.ui.perspectives"> <perspective ! icon="icons/editor.gif" ! class="org.jcommander.ui.editor.EditPerspectiveFactory" ! name="Edit" ! id="org.jcommander.ui.editor.Edit"/> ! </extension> ! ! <extension ! id="org.jcommander.edit.EditorPerspectiveExtension" ! name="Editor Perspective Extension" ! point="org.eclipse.ui.perspectiveExtensions"> ! <perspectiveExtension targetID="org.jcommander.ui.app.Edit"> ! <actionSet id="org.jcommander.ui.editor.actionSet"/> ! </perspectiveExtension> ! </extension> ! ! <extension ! point="org.eclipse.ui.actionSets"> ! <actionSet ! label="JCmd Editor Action Set" ! id="org.jcommander.ui.editor.actionSet"> ! <menu ! id="org_jcommander_ui_editor_file" ! label="&File"> ! <separator name="group1"/> ! </menu> ! <action ! toolbarPath="sampleGroup" ! label="&Sample Action" ! class="org.jcommander.ui.editor.actions.CloseAction" ! definitionId="org.jcommander.ui.editor.close" ! tooltip="Close active Editor" ! icon="icons/editor.gif" ! menubarPath="org_jcommander_ui_editor_file/group1" ! id="org.jcommander.ui.editor.actions.SampleAction"/> ! </actionSet> ! </extension> ! ! <extension ! point="org.eclipse.ui.editors"> ! <editor ! id="org.jcommander.ui.editor.XMLEditor" ! icon="icons/text.gif" ! name="Sample XML Editor" ! class="org.jcommander.ui.editor.xml.XMLEditor" ! contributorClass="org.eclipse.ui.texteditor.BasicTextEditorActionContributor" ! extensions="xml,html"/> ! <editor ! id="org.jcommander.ui.editor.JCmdEditor" ! icon="icons/text.gif" ! name="Sample Editor" ! class="org.jcommander.ui.editor.JCmdEditor" ! contributorClass="org.eclipse.ui.texteditor.BasicTextEditorActionContributor" ! default="true"/> ! </extension> ! ! <extension point="org.eclipse.ui.actionSetPartAssociations"> ! <actionSetPartAssociation ! targetID="org.jcommander.ui.editor.actionSet"> ! <part id="org.jcommander.ui.editor.JCmdEditor"/> ! <part id="org.jcommander.ui.editor.XMLEditor"/> ! <part id="org.jcommander.eclipsepatch.compare.CompareEditor"/> ! </actionSetPartAssociation> ! </extension> ! ! <extension ! point="org.eclipse.ui.commands"> ! <command ! name="Close editor" ! description="Close editor" ! id="org.jcommander.ui.editor.close"> ! </command> ! </extension> ! ! <extension ! point="org.eclipse.ui.bindings"> ! <key ! sequence="Esc" ! commandId="org.jcommander.ui.editor.close" ! schemeId="org.jcommander.ui.app.JCmdKeyConfiguration"> ! </key> ! </extension> </plugin> |