Editor Pages
Identifier:
org.eclipse.wst.server.ui.editorPages
Since:
1.0
Description:
This extension point provides a way to add an additional page to a server or server configuration editor.
Configuration Markup:
<!ELEMENT extension (page+)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - a fully qualified identifier of the target extension point
- id - an optional identifier of the extension instance
- name - an optional name of the extension instance
<!ELEMENT page (enablement?)>
<!ATTLIST page
id CDATA #REQUIRED
class CDATA #REQUIRED
name CDATA #REQUIRED
typeIds CDATA #REQUIRED
order CDATA #IMPLIED
insertionIds CDATA #IMPLIED>
- id - specifies a unique identifier for this page
- class - specifies the fully qualified name of the Java class that implements org.eclipse.ui.IEditorPart
- name - a translatable name used to identify this page
- typeIds - a comma separated list of server type ids. May include wildcards (*) at the end of an id
- order - an integer that specifies an absolute ordering of the page relative to other pages
- insertionIds - a comma separated list of insertion ids that allow sections to be plugged in
Examples:
The following is an example of an editor page extension point:
<extension
point=
"org.eclipse.wst.server.ui.editorPages"
>
<page
id=
"com.example"
order=
"20"
name=
"%editorPage"
typeIds=
"com.example.*"
class=
"com.example.ExampleEditorFactory"
/>
</extension>
API Information:
Value of the attribute class must be a fully qualified name of a Java class that implements the interface org.eclipse.wst.server.ui.editor.ServerEditorPartFactoryDelegate
.
Copyright (c) 2000, 2005 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