diff options
Diffstat (limited to 'org.eclipse.emf.ecore.xcore.ui/plugin.xml_gen')
-rw-r--r-- | org.eclipse.emf.ecore.xcore.ui/plugin.xml_gen | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/org.eclipse.emf.ecore.xcore.ui/plugin.xml_gen b/org.eclipse.emf.ecore.xcore.ui/plugin.xml_gen index 69a40db57..312f56c20 100644 --- a/org.eclipse.emf.ecore.xcore.ui/plugin.xml_gen +++ b/org.eclipse.emf.ecore.xcore.ui/plugin.xml_gen @@ -205,6 +205,16 @@ class="org.eclipse.emf.ecore.xcore.ui.XcoreExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant"> </participant> </extension> + <extension + point="org.eclipse.ui.preferencePages"> + <page + category="org.eclipse.emf.ecore.xcore.Xcore" + class="org.eclipse.emf.ecore.xcore.ui.XcoreExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage" + id="org.eclipse.emf.ecore.xcore.Xcore.builder" + name="Builder"> + <keywordReference id="org.eclipse.emf.ecore.xcore.ui.keyword_Xcore"/> + </page> + </extension> <!-- Rename Refactoring --> <extension point="org.eclipse.ui.handlers"> <handler |