0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

eclipse plugin: add plugin preferences menu in Main Menu

Browse source
This commit is contained in:
Timotei Dolean 2010-07-04 20:23:45 +00:00
parent cf5ac45520
commit 0608500d41
1 changed files with 14 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
utils/java/eclipse_plugin/plugin.xml
View file

@ -278,6 +278,19 @@
label="Open map with editor"
style="push">
</command>
<separator
name="separator2"
visible="true">
</separator>
<command
commandId="org.eclipse.ui.window.preferences"
label="Open plugin&apos;s preferences"
style="push">
<parameter
name="preferencePageId"
value="plugin_preferences">
</parameter>
</command>
</menu>
</menuContribution>
</extension>
@ -285,7 +298,7 @@
point="org.eclipse.ui.preferencePages">
<page
class="wesnoth_eclipse_plugin.preferences.WesnothEditorPreferences"
id="wesnoth_eclipse_plugin.preferences.WesnothEditorPreferences"
id="plugin_preferences"
name="Wesnoth UMC Plugin">
</page>
</extension>