plugins/org.eclipse.eef.ide.ui/plugin.xml

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>

<!--
Copyright (c) 2015, 2018 Obeo.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v2.0
which accompanies this distribution, and is available at
https://www.eclipse.org/legal/epl-2.0

SPDX-License-Identifier: EPL-2.0

Contributors: Obeo - initial API and implementation
-->

<plugin>
   <extension-point id="eefLifecycleManagerProvider" name="%eefLifecycleManagerProviderExtensionPoint.name" schema="schema/eefLifecycleManagerProvider.exsd"/>
   <extension
         point="org.eclipse.ui.preferencePages">
      <page
            class="org.eclipse.eef.ide.ui.internal.preferences.EEFPreferencePage"
            id="org.eclipse.eef.ide.ui.preferencePage"
            name="%EEFIdeUi_PreferencePage_Name">
      </page>
   </extension>

</plugin>