| <?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> |