2021-11-30 17:25:45 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<?eclipse version="3.0"?>
|
|
|
|
<plugin>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.editors">
|
|
|
|
<editor
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor"
|
2021-11-30 17:25:45 +00:00
|
|
|
contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
|
|
|
|
default="true"
|
|
|
|
extensions="game"
|
2021-12-03 10:28:42 +00:00
|
|
|
id="fr.n7.xtext.GAME"
|
2021-12-03 08:38:29 +00:00
|
|
|
name="GAME Editor">
|
2021-11-30 17:25:45 +00:00
|
|
|
</editor>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.handlers">
|
|
|
|
<handler
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclarationHandler"
|
2021-11-30 17:25:45 +00:00
|
|
|
commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration">
|
|
|
|
<activeWhen>
|
|
|
|
<reference
|
2021-12-03 10:28:42 +00:00
|
|
|
definitionId="fr.n7.xtext.GAME.Editor.opened">
|
2021-11-30 17:25:45 +00:00
|
|
|
</reference>
|
|
|
|
</activeWhen>
|
|
|
|
</handler>
|
|
|
|
<handler
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.handler.ValidateActionHandler"
|
|
|
|
commandId="fr.n7.xtext.GAME.validate">
|
2021-11-30 17:25:45 +00:00
|
|
|
<activeWhen>
|
|
|
|
<reference
|
2021-12-03 10:28:42 +00:00
|
|
|
definitionId="fr.n7.xtext.GAME.Editor.opened">
|
2021-11-30 17:25:45 +00:00
|
|
|
</reference>
|
|
|
|
</activeWhen>
|
|
|
|
</handler>
|
|
|
|
<!-- copy qualified name -->
|
|
|
|
<handler
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedNameHandler"
|
2021-11-30 17:25:45 +00:00
|
|
|
commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName">
|
|
|
|
<activeWhen>
|
2021-12-03 10:28:42 +00:00
|
|
|
<reference definitionId="fr.n7.xtext.GAME.Editor.opened" />
|
2021-11-30 17:25:45 +00:00
|
|
|
</activeWhen>
|
|
|
|
</handler>
|
|
|
|
<handler
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedNameHandler"
|
2021-11-30 17:25:45 +00:00
|
|
|
commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName">
|
|
|
|
<activeWhen>
|
|
|
|
<and>
|
2021-12-03 10:28:42 +00:00
|
|
|
<reference definitionId="fr.n7.xtext.GAME.XtextEditor.opened" />
|
2021-11-30 17:25:45 +00:00
|
|
|
<iterate>
|
|
|
|
<adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
|
|
|
|
</iterate>
|
|
|
|
</and>
|
|
|
|
</activeWhen>
|
|
|
|
</handler>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.core.expressions.definitions">
|
2021-12-03 10:28:42 +00:00
|
|
|
<definition id="fr.n7.xtext.GAME.Editor.opened">
|
2021-11-30 17:25:45 +00:00
|
|
|
<and>
|
|
|
|
<reference definitionId="isActiveEditorAnInstanceOfXtextEditor"/>
|
|
|
|
<with variable="activeEditor">
|
|
|
|
<test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
|
2021-12-03 10:28:42 +00:00
|
|
|
value="fr.n7.xtext.GAME"
|
2021-11-30 17:25:45 +00:00
|
|
|
forcePluginActivation="true"/>
|
|
|
|
</with>
|
|
|
|
</and>
|
|
|
|
</definition>
|
2021-12-03 10:28:42 +00:00
|
|
|
<definition id="fr.n7.xtext.GAME.XtextEditor.opened">
|
2021-11-30 17:25:45 +00:00
|
|
|
<and>
|
|
|
|
<reference definitionId="isXtextEditorActive"/>
|
|
|
|
<with variable="activeEditor">
|
|
|
|
<test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
|
2021-12-03 10:28:42 +00:00
|
|
|
value="fr.n7.xtext.GAME"
|
2021-11-30 17:25:45 +00:00
|
|
|
forcePluginActivation="true"/>
|
|
|
|
</with>
|
|
|
|
</and>
|
|
|
|
</definition>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.preferencePages">
|
|
|
|
<page
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
|
|
|
|
id="fr.n7.xtext.GAME"
|
2021-12-03 08:38:29 +00:00
|
|
|
name="GAME">
|
2021-12-03 10:28:42 +00:00
|
|
|
<keywordReference id="fr.n7.xtext.ui.keyword_GAME"/>
|
2021-11-30 17:25:45 +00:00
|
|
|
</page>
|
|
|
|
<page
|
2021-12-03 10:28:42 +00:00
|
|
|
category="fr.n7.xtext.GAME"
|
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage"
|
|
|
|
id="fr.n7.xtext.GAME.coloring"
|
2021-11-30 17:25:45 +00:00
|
|
|
name="Syntax Coloring">
|
2021-12-03 10:28:42 +00:00
|
|
|
<keywordReference id="fr.n7.xtext.ui.keyword_GAME"/>
|
2021-11-30 17:25:45 +00:00
|
|
|
</page>
|
|
|
|
<page
|
2021-12-03 10:28:42 +00:00
|
|
|
category="fr.n7.xtext.GAME"
|
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage"
|
|
|
|
id="fr.n7.xtext.GAME.templates"
|
2021-11-30 17:25:45 +00:00
|
|
|
name="Templates">
|
2021-12-03 10:28:42 +00:00
|
|
|
<keywordReference id="fr.n7.xtext.ui.keyword_GAME"/>
|
2021-11-30 17:25:45 +00:00
|
|
|
</page>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.propertyPages">
|
|
|
|
<page
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
|
|
|
|
id="fr.n7.xtext.GAME"
|
2021-12-03 08:38:29 +00:00
|
|
|
name="GAME">
|
2021-12-03 10:28:42 +00:00
|
|
|
<keywordReference id="fr.n7.xtext.ui.keyword_GAME"/>
|
2021-11-30 17:25:45 +00:00
|
|
|
<enabledWhen>
|
|
|
|
<adapt type="org.eclipse.core.resources.IProject"/>
|
|
|
|
</enabledWhen>
|
|
|
|
<filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
|
|
|
|
</page>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.keywords">
|
|
|
|
<keyword
|
2021-12-03 10:28:42 +00:00
|
|
|
id="fr.n7.xtext.ui.keyword_GAME"
|
2021-12-03 08:38:29 +00:00
|
|
|
label="GAME"/>
|
2021-11-30 17:25:45 +00:00
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.commands">
|
|
|
|
<command
|
|
|
|
description="Trigger expensive validation"
|
2021-12-03 10:28:42 +00:00
|
|
|
id="fr.n7.xtext.GAME.validate"
|
2021-11-30 17:25:45 +00:00
|
|
|
name="Validate">
|
|
|
|
</command>
|
|
|
|
<!-- copy qualified name -->
|
|
|
|
<command
|
|
|
|
id="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
|
|
|
|
categoryId="org.eclipse.ui.category.edit"
|
|
|
|
description="Copy the qualified name for the selected element"
|
|
|
|
name="Copy Qualified Name">
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
id="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
|
|
|
|
categoryId="org.eclipse.ui.category.edit"
|
|
|
|
description="Copy the qualified name for the selected element"
|
|
|
|
name="Copy Qualified Name">
|
|
|
|
</command>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.menus">
|
|
|
|
<menuContribution
|
|
|
|
locationURI="popup:#TextEditorContext?after=group.edit">
|
|
|
|
<command
|
2021-12-03 10:28:42 +00:00
|
|
|
commandId="fr.n7.xtext.GAME.validate"
|
2021-11-30 17:25:45 +00:00
|
|
|
style="push"
|
|
|
|
tooltip="Trigger expensive validation">
|
|
|
|
<visibleWhen checkEnabled="false">
|
|
|
|
<reference
|
2021-12-03 10:28:42 +00:00
|
|
|
definitionId="fr.n7.xtext.GAME.Editor.opened">
|
2021-11-30 17:25:45 +00:00
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
</menuContribution>
|
|
|
|
<!-- copy qualified name -->
|
|
|
|
<menuContribution locationURI="popup:#TextEditorContext?after=copy">
|
|
|
|
<command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
|
|
|
|
style="push" tooltip="Copy Qualified Name">
|
|
|
|
<visibleWhen checkEnabled="false">
|
2021-12-03 10:28:42 +00:00
|
|
|
<reference definitionId="fr.n7.xtext.GAME.Editor.opened" />
|
2021-11-30 17:25:45 +00:00
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
</menuContribution>
|
|
|
|
<menuContribution locationURI="menu:edit?after=copy">
|
|
|
|
<command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
|
|
|
|
style="push" tooltip="Copy Qualified Name">
|
|
|
|
<visibleWhen checkEnabled="false">
|
2021-12-03 10:28:42 +00:00
|
|
|
<reference definitionId="fr.n7.xtext.GAME.Editor.opened" />
|
2021-11-30 17:25:45 +00:00
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
</menuContribution>
|
|
|
|
<menuContribution locationURI="popup:org.eclipse.xtext.ui.outline?after=additions">
|
|
|
|
<command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
|
|
|
|
style="push" tooltip="Copy Qualified Name">
|
|
|
|
<visibleWhen checkEnabled="false">
|
|
|
|
<and>
|
2021-12-03 10:28:42 +00:00
|
|
|
<reference definitionId="fr.n7.xtext.GAME.XtextEditor.opened" />
|
2021-11-30 17:25:45 +00:00
|
|
|
<iterate>
|
|
|
|
<adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
|
|
|
|
</iterate>
|
|
|
|
</and>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
</menuContribution>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.menus">
|
|
|
|
<menuContribution locationURI="popup:#TextEditorContext?endof=group.find">
|
|
|
|
<command commandId="org.eclipse.xtext.ui.editor.FindReferences">
|
|
|
|
<visibleWhen checkEnabled="false">
|
2021-12-03 10:28:42 +00:00
|
|
|
<reference definitionId="fr.n7.xtext.GAME.Editor.opened">
|
2021-11-30 17:25:45 +00:00
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
</menuContribution>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.handlers">
|
|
|
|
<handler
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.findrefs.FindReferencesHandler"
|
2021-11-30 17:25:45 +00:00
|
|
|
commandId="org.eclipse.xtext.ui.editor.FindReferences">
|
|
|
|
<activeWhen>
|
|
|
|
<reference
|
2021-12-03 10:28:42 +00:00
|
|
|
definitionId="fr.n7.xtext.GAME.Editor.opened">
|
2021-11-30 17:25:45 +00:00
|
|
|
</reference>
|
|
|
|
</activeWhen>
|
|
|
|
</handler>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.core.contenttype.contentTypes">
|
|
|
|
<content-type
|
|
|
|
base-type="org.eclipse.core.runtime.text"
|
|
|
|
file-extensions="game"
|
2021-12-03 10:28:42 +00:00
|
|
|
id="fr.n7.xtext.GAME.contenttype"
|
2021-12-03 08:38:29 +00:00
|
|
|
name="GAME File"
|
2021-11-30 17:25:45 +00:00
|
|
|
priority="normal">
|
|
|
|
</content-type>
|
|
|
|
</extension>
|
|
|
|
<!-- adding resource factories -->
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.emf.ecore.extension_parser">
|
|
|
|
<parser
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory"
|
2021-11-30 17:25:45 +00:00
|
|
|
type="game">
|
|
|
|
</parser>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.xtext.extension_resourceServiceProvider">
|
|
|
|
<resourceServiceProvider
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider"
|
2021-11-30 17:25:45 +00:00
|
|
|
uriExtension="game">
|
|
|
|
</resourceServiceProvider>
|
|
|
|
</extension>
|
2021-12-03 10:28:42 +00:00
|
|
|
<!-- marker definitions for fr.n7.xtext.GAME -->
|
2021-11-30 17:25:45 +00:00
|
|
|
<extension
|
|
|
|
id="game.check.fast"
|
2021-12-03 08:38:29 +00:00
|
|
|
name="GAME Problem"
|
2021-11-30 17:25:45 +00:00
|
|
|
point="org.eclipse.core.resources.markers">
|
|
|
|
<super type="org.eclipse.xtext.ui.check.fast"/>
|
|
|
|
<persistent value="true"/>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
id="game.check.normal"
|
2021-12-03 08:38:29 +00:00
|
|
|
name="GAME Problem"
|
2021-11-30 17:25:45 +00:00
|
|
|
point="org.eclipse.core.resources.markers">
|
|
|
|
<super type="org.eclipse.xtext.ui.check.normal"/>
|
|
|
|
<persistent value="true"/>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
id="game.check.expensive"
|
2021-12-03 08:38:29 +00:00
|
|
|
name="GAME Problem"
|
2021-11-30 17:25:45 +00:00
|
|
|
point="org.eclipse.core.resources.markers">
|
|
|
|
<super type="org.eclipse.xtext.ui.check.expensive"/>
|
|
|
|
<persistent value="true"/>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.preferencePages">
|
|
|
|
<page
|
2021-12-03 10:28:42 +00:00
|
|
|
category="fr.n7.xtext.GAME"
|
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.validation.ValidatorPreferencePage"
|
|
|
|
id="fr.n7.xtext.GAME.validator.preferencePage"
|
2021-11-30 17:25:45 +00:00
|
|
|
name="Errors/Warnings">
|
2021-12-03 10:28:42 +00:00
|
|
|
<keywordReference id="fr.n7.xtext.ui.keyword_GAME"/>
|
2021-11-30 17:25:45 +00:00
|
|
|
</page>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.xtext.builder.participant">
|
|
|
|
<participant
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant"
|
2021-11-30 17:25:45 +00:00
|
|
|
fileExtensions="game"/>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.preferencePages">
|
|
|
|
<page
|
2021-12-03 10:28:42 +00:00
|
|
|
category="fr.n7.xtext.GAME"
|
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
|
|
|
|
id="fr.n7.xtext.GAME.compiler.preferencePage"
|
2021-11-30 17:25:45 +00:00
|
|
|
name="Compiler">
|
2021-12-03 10:28:42 +00:00
|
|
|
<keywordReference id="fr.n7.xtext.ui.keyword_GAME"/>
|
2021-11-30 17:25:45 +00:00
|
|
|
</page>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.propertyPages">
|
|
|
|
<page
|
2021-12-03 10:28:42 +00:00
|
|
|
category="fr.n7.xtext.GAME"
|
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
|
|
|
|
id="fr.n7.xtext.GAME.compiler.propertyPage"
|
2021-11-30 17:25:45 +00:00
|
|
|
name="Compiler">
|
2021-12-03 10:28:42 +00:00
|
|
|
<keywordReference id="fr.n7.xtext.ui.keyword_GAME"/>
|
2021-11-30 17:25:45 +00:00
|
|
|
<enabledWhen>
|
|
|
|
<adapt type="org.eclipse.core.resources.IProject"/>
|
|
|
|
</enabledWhen>
|
|
|
|
<filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
|
|
|
|
</page>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.menus">
|
|
|
|
<menuContribution locationURI="popup:#TextEditorContext?after=xtext.ui.openDeclaration">
|
|
|
|
<command
|
|
|
|
commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand"
|
2021-12-03 10:28:42 +00:00
|
|
|
id="fr.n7.xtext.GAME.OpenGeneratedCode"
|
2021-11-30 17:25:45 +00:00
|
|
|
style="push">
|
|
|
|
<visibleWhen checkEnabled="false">
|
2021-12-03 10:28:42 +00:00
|
|
|
<reference definitionId="fr.n7.xtext.GAME.Editor.opened" />
|
2021-11-30 17:25:45 +00:00
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
</menuContribution>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.handlers">
|
|
|
|
<handler
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.generator.trace.OpenGeneratedFileHandler"
|
2021-11-30 17:25:45 +00:00
|
|
|
commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand">
|
|
|
|
<activeWhen>
|
2021-12-03 10:28:42 +00:00
|
|
|
<reference definitionId="fr.n7.xtext.GAME.Editor.opened" />
|
2021-11-30 17:25:45 +00:00
|
|
|
</activeWhen>
|
|
|
|
</handler>
|
|
|
|
</extension>
|
|
|
|
<!-- Quick Outline -->
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.handlers">
|
|
|
|
<handler
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler"
|
2021-11-30 17:25:45 +00:00
|
|
|
commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline">
|
|
|
|
<activeWhen>
|
|
|
|
<reference
|
2021-12-03 10:28:42 +00:00
|
|
|
definitionId="fr.n7.xtext.GAME.Editor.opened">
|
2021-11-30 17:25:45 +00:00
|
|
|
</reference>
|
|
|
|
</activeWhen>
|
|
|
|
</handler>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.commands">
|
|
|
|
<command
|
|
|
|
description="Open the quick outline."
|
|
|
|
id="org.eclipse.xtext.ui.editor.outline.QuickOutline"
|
|
|
|
name="Quick Outline">
|
|
|
|
</command>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.menus">
|
|
|
|
<menuContribution
|
|
|
|
locationURI="popup:#TextEditorContext?after=group.open">
|
|
|
|
<command commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline"
|
|
|
|
style="push"
|
|
|
|
tooltip="Open Quick Outline">
|
|
|
|
<visibleWhen checkEnabled="false">
|
2021-12-03 10:28:42 +00:00
|
|
|
<reference definitionId="fr.n7.xtext.GAME.Editor.opened"/>
|
2021-11-30 17:25:45 +00:00
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
</menuContribution>
|
|
|
|
</extension>
|
2021-12-03 10:28:42 +00:00
|
|
|
<!-- quickfix marker resolution generator for fr.n7.xtext.GAME -->
|
2021-11-30 17:25:45 +00:00
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.ide.markerResolution">
|
|
|
|
<markerResolutionGenerator
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
|
|
|
|
markerType="fr.n7.xtext.game.ui.game.check.fast">
|
2021-11-30 17:25:45 +00:00
|
|
|
<attribute
|
|
|
|
name="FIXABLE_KEY"
|
|
|
|
value="true">
|
|
|
|
</attribute>
|
|
|
|
</markerResolutionGenerator>
|
|
|
|
<markerResolutionGenerator
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
|
|
|
|
markerType="fr.n7.xtext.game.ui.game.check.normal">
|
2021-11-30 17:25:45 +00:00
|
|
|
<attribute
|
|
|
|
name="FIXABLE_KEY"
|
|
|
|
value="true">
|
|
|
|
</attribute>
|
|
|
|
</markerResolutionGenerator>
|
|
|
|
<markerResolutionGenerator
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
|
|
|
|
markerType="fr.n7.xtext.game.ui.game.check.expensive">
|
2021-11-30 17:25:45 +00:00
|
|
|
<attribute
|
|
|
|
name="FIXABLE_KEY"
|
|
|
|
value="true">
|
|
|
|
</attribute>
|
|
|
|
</markerResolutionGenerator>
|
|
|
|
</extension>
|
|
|
|
<!-- Rename Refactoring -->
|
|
|
|
<extension point="org.eclipse.ui.handlers">
|
|
|
|
<handler
|
2021-12-03 10:28:42 +00:00
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler"
|
2021-11-30 17:25:45 +00:00
|
|
|
commandId="org.eclipse.xtext.ui.refactoring.RenameElement">
|
|
|
|
<activeWhen>
|
|
|
|
<reference
|
2021-12-03 10:28:42 +00:00
|
|
|
definitionId="fr.n7.xtext.GAME.Editor.opened">
|
2021-11-30 17:25:45 +00:00
|
|
|
</reference>
|
|
|
|
</activeWhen>
|
|
|
|
</handler>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.menus">
|
|
|
|
<menuContribution
|
|
|
|
locationURI="popup:#TextEditorContext?after=group.edit">
|
|
|
|
<command commandId="org.eclipse.xtext.ui.refactoring.RenameElement"
|
|
|
|
style="push">
|
|
|
|
<visibleWhen checkEnabled="false">
|
|
|
|
<reference
|
2021-12-03 10:28:42 +00:00
|
|
|
definitionId="fr.n7.xtext.GAME.Editor.opened">
|
2021-11-30 17:25:45 +00:00
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
</menuContribution>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.preferencePages">
|
|
|
|
<page
|
2021-12-03 10:28:42 +00:00
|
|
|
category="fr.n7.xtext.GAME"
|
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage"
|
|
|
|
id="fr.n7.xtext.GAME.refactoring"
|
2021-11-30 17:25:45 +00:00
|
|
|
name="Refactoring">
|
2021-12-03 10:28:42 +00:00
|
|
|
<keywordReference id="fr.n7.xtext.ui.keyword_GAME"/>
|
2021-11-30 17:25:45 +00:00
|
|
|
</page>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.compare.contentViewers">
|
2021-12-03 10:28:42 +00:00
|
|
|
<viewer id="fr.n7.xtext.GAME.compare.contentViewers"
|
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
|
2021-11-30 17:25:45 +00:00
|
|
|
extensions="game">
|
|
|
|
</viewer>
|
|
|
|
<contentTypeBinding
|
2021-12-03 10:28:42 +00:00
|
|
|
contentTypeId="fr.n7.xtext.GAME.contenttype"
|
|
|
|
contentViewerId="fr.n7.xtext.GAME.compare.contentViewers" />
|
2021-11-30 17:25:45 +00:00
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.compare.contentMergeViewers">
|
2021-12-03 10:28:42 +00:00
|
|
|
<viewer id="fr.n7.xtext.GAME.compare.contentMergeViewers"
|
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
|
2021-12-03 08:38:29 +00:00
|
|
|
extensions="game" label="GAME Compare">
|
2021-11-30 17:25:45 +00:00
|
|
|
</viewer>
|
|
|
|
<contentTypeBinding
|
2021-12-03 10:28:42 +00:00
|
|
|
contentTypeId="fr.n7.xtext.GAME.contenttype"
|
|
|
|
contentMergeViewerId="fr.n7.xtext.GAME.compare.contentMergeViewers" />
|
2021-11-30 17:25:45 +00:00
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.ui.editors.documentProviders">
|
2021-12-03 10:28:42 +00:00
|
|
|
<provider id="fr.n7.xtext.GAME.editors.documentProviders"
|
|
|
|
class="fr.n7.xtext.ui.GAMEExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider"
|
2021-11-30 17:25:45 +00:00
|
|
|
extensions="game">
|
|
|
|
</provider>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.team.core.fileTypes">
|
|
|
|
<fileTypes
|
|
|
|
extension="game"
|
|
|
|
type="text">
|
|
|
|
</fileTypes>
|
|
|
|
</extension>
|
|
|
|
</plugin>
|