| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| <!-- |
| Copyright (c) 2020 Eike Stepper (Loehne, Germany) and others. |
| All rights reserved. This program and the accompanying materials |
| are made available under the terms of the Eclipse Public License v1.0 |
| which accompanies this distribution, and is available at |
| http://www.eclipse.org/legal/epl-v10.html |
| |
| Contributors: |
| Eike Stepper - initial API and implementation |
| Christian W. Damus (CEA LIST) - bug 420528 |
| --> |
| |
| <plugin> |
| |
| <extension point = "org.eclipse.ui.editors"> |
| <editor |
| name="%properties.editor.name" |
| id="org.eclipse.emf.cdo.ui.jdt.CDOPropertiesFileEditor" |
| icon="icons/full/obj16/CDOPropertiesFile.gif" |
| extensions = "properties,ini" |
| class="org.eclipse.emf.cdo.ui.jdt.CDOPropertiesFileEditor" |
| contributorClass="org.eclipse.emf.cdo.ui.jdt.CDOPropertiesFileEditor$ActionContributor" |
| symbolicFontName="org.eclipse.jdt.ui.PropertiesFileEditor.textfont"> |
| </editor> |
| </extension> |
| |
| </plugin> |