diff options
Diffstat (limited to 'plugins/org.eclipse.etrice.core.config.ui/plugin.xml_gen')
-rw-r--r-- | plugins/org.eclipse.etrice.core.config.ui/plugin.xml_gen | 58 |
1 files changed, 50 insertions, 8 deletions
diff --git a/plugins/org.eclipse.etrice.core.config.ui/plugin.xml_gen b/plugins/org.eclipse.etrice.core.config.ui/plugin.xml_gen index 88804d58a..b8d0938cc 100644 --- a/plugins/org.eclipse.etrice.core.config.ui/plugin.xml_gen +++ b/plugins/org.eclipse.etrice.core.config.ui/plugin.xml_gen @@ -151,6 +151,28 @@ </extension> + <!-- marker definitions for org.eclipse.etrice.core.Config --> + <extension + id="config.check.fast" + name="Config Problem" + point="org.eclipse.core.resources.markers"> + <super type="org.eclipse.xtext.ui.check.fast"/> + <persistent value="true"/> + </extension> + <extension + id="config.check.normal" + name="Config Problem" + point="org.eclipse.core.resources.markers"> + <super type="org.eclipse.xtext.ui.check.normal"/> + <persistent value="true"/> + </extension> + <extension + id="config.check.expensive" + name="Config Problem" + point="org.eclipse.core.resources.markers"> + <super type="org.eclipse.xtext.ui.check.expensive"/> + <persistent value="true"/> + </extension> <extension point="org.eclipse.xtext.builder.participant"> @@ -216,13 +238,34 @@ </command> </menuContribution> </extension> - <!-- quickfix marker resolution generator --> - <extension - point="org.eclipse.ui.ide.markerResolution"> - <markerResolutionGenerator - class="org.eclipse.etrice.core.ui.ConfigExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"> - </markerResolutionGenerator> - </extension> + <!-- quickfix marker resolution generator for org.eclipse.etrice.core.Config --> + <extension + point="org.eclipse.ui.ide.markerResolution"> + <markerResolutionGenerator + class="org.eclipse.etrice.core.ui.ConfigExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" + markerType="org.eclipse.etrice.core.ui.config.check.fast"> + <attribute + name="FIXABLE_KEY" + value="true"> + </attribute> + </markerResolutionGenerator> + <markerResolutionGenerator + class="org.eclipse.etrice.core.ui.ConfigExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" + markerType="org.eclipse.etrice.core.ui.config.check.normal"> + <attribute + name="FIXABLE_KEY" + value="true"> + </attribute> + </markerResolutionGenerator> + <markerResolutionGenerator + class="org.eclipse.etrice.core.ui.ConfigExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator" + markerType="org.eclipse.etrice.core.ui.config.check.expensive"> + <attribute + name="FIXABLE_KEY" + value="true"> + </attribute> + </markerResolutionGenerator> + </extension> <!-- Rename Refactoring --> <extension point="org.eclipse.ui.handlers"> <handler @@ -258,7 +301,6 @@ </page> </extension> - <extension point="org.eclipse.compare.contentViewers"> <viewer id="org.eclipse.etrice.core.Config.compare.contentViewers" class="org.eclipse.etrice.core.ui.ConfigExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator" |