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

eclipse plugin: fix creation of the preferences file

Browse source
This commit is contained in:
Timotei Dolean 2010-05-19 15:48:18 +00:00
parent 56246d3844
commit ba3e65b4db
2 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
utils/java/eclipse_plugin/src/wesnoth_eclipse_plugin/preferences/PreferenceConstants.java
View file

@ -5,6 +5,6 @@ package wesnoth_eclipse_plugin.preferences;
*/
public class PreferenceConstants {
public static final String P_WESNOTH_EXEC_PATH = "";
public static final String P_WESNOTH_WORKING_DIR ="";
public static final String P_WESNOTH_EXEC_PATH = "wesnoth_exec_path";
public static final String P_WESNOTH_WORKING_DIR ="wesnoth_working_dir";
}

5
utils/java/eclipse_plugin/src/wesnoth_eclipse_plugin/preferences/PreferenceInitializer.java
View file

@ -17,8 +17,9 @@ public class PreferenceInitializer extends AbstractPreferenceInitializer {
*/
@Override
public void initializeDefaultPreferences() {
//IPreferenceStore store = Activator.getDefault().getPreferenceStore();
//store.setDefault(name, value)
IPreferenceStore store = Activator.getDefault().getPreferenceStore();
store.setDefault(PreferenceConstants.P_WESNOTH_EXEC_PATH, "");
store.setDefault(PreferenceConstants.P_WESNOTH_WORKING_DIR, "");
}
/**