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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="4.4"?>
<!--
Copyright (C) 2014, 2015 Google Inc and others.
This program and the accompanying materials
are made available under the terms of the Eclipse Public License 2.0
which accompanies this distribution, and is available at
https://www.eclipse.org/legal/epl-2.0/
SPDX-License-Identifier: EPL-2.0
Contributors:
Steve Foreman (Google) - initial API and implementation
Marcus Eng (Google)
-->
<plugin>
<extension-point
id="logger"
name="%UiFreezeEventLogger.name"
schema="schema/org.eclipse.ui.monitoring.logger.exsd"/>
<extension point="org.eclipse.ui.startup">
<startup class="org.eclipse.ui.internal.monitoring.MonitoringStartup"/>
</extension>
<extension
point="org.eclipse.core.runtime.preferences">
<initializer
class="org.eclipse.ui.internal.monitoring.preferences.MonitoringPreferenceInitializer">
</initializer>
</extension>
<extension
point="org.eclipse.ui.preferencePages">
<page
category="org.eclipse.ui.preferencePages.Workbench"
class="org.eclipse.ui.internal.monitoring.preferences.MonitoringPreferencePage"
id="org.eclipse.ui.monitoring.page"
name="%MonitoringPreferencePage.name">
<keywordReference
id="org.eclipse.ui.monitoring.preferenceKeywords">
</keywordReference>
</page>
</extension>
<extension
point="org.eclipse.ui.keywords">
<keyword
id="org.eclipse.ui.monitoring.preferenceKeywords"
label="%preferenceKeywords">
</keyword>
</extension>
</plugin>
|
