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
|
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<plugin>
<extension
point="org.eclipse.ui.preferencePages">
<page
category="org.eclipse.linuxtools.systemtap.prefs.view"
class="org.eclipse.linuxtools.systemtap.ui.graphingapi.ui.preferences.GraphingAPIPreferencePage"
id="org.eclipse.linuxtools.generic.prefs.graphingapi"
name="%preference.graphing.name"/>
<page
name="%preference.dataTable.name"
id="org.eclipse.linuxtools.generic.prefs.graphing.datatable"
class="org.eclipse.linuxtools.systemtap.ui.graphingapi.ui.preferences.DataTablePreferencePage"
category="org.eclipse.linuxtools.generic.prefs.graphingapi"/>
<page
name="%preference.graph.name"
id="org.eclipse.linuxtools.generic.prefs.graphing.graph"
class="org.eclipse.linuxtools.systemtap.ui.graphingapi.ui.preferences.GraphPreferencePage"
category="org.eclipse.linuxtools.generic.prefs.graphingapi"/>
</extension>
<extension
point="org.eclipse.core.runtime.preferences">
<initializer class="org.eclipse.linuxtools.systemtap.ui.graphingapi.ui.preferences.PreferenceInitializer"/>
</extension>
</plugin>
|
