| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| <plugin> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| name="%preference.dataTable.name" |
| id="org.eclipse.linuxtools.generic.prefs.graphing.datatable" |
| class="org.eclipse.linuxtools.internal.systemtap.graphing.ui.preferences.DataTablePreferencePage" |
| category="org.eclipse.linuxtools.generic.prefs.graphing"/> |
| <page |
| name="%preference.graph.name" |
| id="org.eclipse.linuxtools.generic.prefs.graphing.graph" |
| class="org.eclipse.linuxtools.internal.systemtap.graphing.ui.preferences.GraphPreferencePage" |
| category="org.eclipse.linuxtools.generic.prefs.graphing"/> |
| <page |
| name="%preference.graphing.name" |
| class="org.eclipse.linuxtools.internal.systemtap.graphing.ui.preferences.GraphingPreferencePage" |
| category="org.eclipse.linuxtools.systemtap.prefs.view" |
| id="org.eclipse.linuxtools.generic.prefs.graphing"/> |
| </extension> |
| |
| <extension |
| point="org.eclipse.core.runtime.preferences"> |
| <initializer class="org.eclipse.linuxtools.internal.systemtap.graphing.ui.preferences.PreferenceInitializer"/> |
| </extension> |
| |
| <extension |
| point="org.eclipse.ui.editors"> |
| <editor |
| class="org.eclipse.linuxtools.systemtap.graphing.ui.views.GraphSelectorEditor" |
| default="false" |
| id="org.eclipse.linuxtools.systemtap.graphing.ui.views.GraphSelectorEditor" |
| name="Graphs"> |
| </editor> |
| </extension> |
| |
| <extension |
| point="org.eclipse.core.expressions.definitions"> |
| <definition |
| id="org.eclipse.linuxtools.systemtap.graphing.ui.graphEditorEnablement"> |
| <with |
| variable="activeEditorId"> |
| <equals |
| value="org.eclipse.linuxtools.systemtap.graphing.ui.views.GraphSelectorEditor"> |
| </equals> |
| </with> |
| </definition> |
| </extension> |
| |
| </plugin> |