-
Notifications
You must be signed in to change notification settings - Fork 0
/
plugin.xml
31 lines (27 loc) · 1.37 KB
/
plugin.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin name="Inference Inspector" version="0.1.0">
<extension id="example.menu"
point="org.protege.editor.core.application.EditorKitMenuAction">
<name value="About Inference Inspector"/>
<class value="org.whatif.tools.view.InferenceInspectorMenu"/>
<toolTip value="About Inference Inspector"/>
<path value="org.protege.editor.owl.menu.tools/SlotZ-Z"/>
<editorKitId value="OWLEditorKit"/>
</extension>
<extension id="InferenceInspectorTab" point="org.protege.editor.core.application.WorkspaceTab">
<label value="Inference Inspector"/>
<class value="org.protege.editor.core.ui.workspace.WorkspaceViewsTab"/>
<index value="Y"/>
<editorKitId value="OWLEditorKit"/>
<defaultViewConfigFileName value="whatif-tools-tab.layout.xml"/>
</extension>
<!-- Change me! Remove this and the corresponding java class when you start adding real plugin content of your own. -->
<extension id="EntailmentInspectorView"
point="org.protege.editor.core.application.ViewComponent">
<label value="Inference Inspector"/>
<class value="org.whatif.tools.view.EntailmentInspectorView"/>
<headerColor value="@org.protege.ontologycolor"/>
<category value="@org.protege.ontologycategory"/>
</extension>
</plugin>