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

eclipse plugin: fix the preference page name

Browse source
This commit is contained in:
Timotei Dolean 2010-07-28 19:19:05 +00:00
parent 6d7b7e40c7
commit a636eb236c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
utils/java/eclipse_plugin/src/wesnoth_eclipse_plugin/utils/WorkspaceUtils.java
View file

@ -272,7 +272,7 @@ public class WorkspaceUtils
if (!checkConditions(false))
{
PreferenceDialog pref = PreferencesUtil.createPreferenceDialogOn(
Activator.getShell(), "plugin_preferences", null, null);
Activator.getShell(), "wml_plugin_preferences", null, null);
if (pref.open() == Window.CANCEL || !checkConditions(true))
{
GUIUtils.showErrorMessageBox("The workspace was not setup. " +