|
Re: Remove items in Preferences [message #1729996 is a reply to message #1729987] |
Wed, 20 April 2016 18:11 |
|
in plugin xml you find
<extension point="org.eclipse.ui.preferencePages">
<page
category="org.xtext.example.mydsl10.MyDsl"
class="org.xtext.example.mydsl10.ui.MyDslExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage"
id="org.xtext.example.mydsl10.MyDsl.refactoring"
name="Refactoring">
<keywordReference id="org.xtext.example.mydsl10.ui.keyword_MyDsl"/>
</page>
</extension>
<extension point="org.eclipse.ui.preferencePages">
<page
category="org.xtext.example.mydsl10.MyDsl"
class="org.xtext.example.mydsl10.ui.MyDslExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
id="org.xtext.example.mydsl10.MyDsl.compiler.preferencePage"
name="Compiler">
<keywordReference id="org.xtext.example.mydsl10.ui.keyword_MyDsl"/>
</page>
</extension>
etc
Twitter : @chrdietrich
Blog : https://www.dietrich-it.de
|
|
|
|
Powered by
FUDForum. Page generated in 0.03579 seconds