# HG changeset patch # User dwinter # Date 1294228853 -3600 # Node ID e5b16fea0387052e57df21d6c577f90dd5ed6936 # Parent 7153018334a16466bff34034e4bbc79085b15d82 minor changes to set preferences diff -r 7153018334a1 -r e5b16fea0387 plugin.xml --- a/plugin.xml Wed Jan 05 12:29:11 2011 +0100 +++ b/plugin.xml Wed Jan 05 13:00:53 2011 +0100 @@ -108,10 +108,16 @@ + + + + diff -r 7153018334a1 -r e5b16fea0387 src/de/mpg/mpiwg/itgroup/digilib/digiImage/DigiImage.java --- a/src/de/mpg/mpiwg/itgroup/digilib/digiImage/DigiImage.java Wed Jan 05 12:29:11 2011 +0100 +++ b/src/de/mpg/mpiwg/itgroup/digilib/digiImage/DigiImage.java Wed Jan 05 13:00:53 2011 +0100 @@ -32,6 +32,8 @@ import de.mpg.mpiwg.itgroup.digilib.digiImage.properties.DigiImageProperties; import de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.ZoomAreaRectangleListener; import de.mpg.mpiwg.itgroup.digilib.plugin.Activator; +import de.mpg.mpiwg.itgroup.digilib.plugin.PluginPreferenceInitializer; +import de.mpg.mpiwg.itgroup.digilib.plugin.PluginPreferencePage; import de.mpg.mpiwg.itgroup.digilib.plugin.editors.DigilibLinkEditorObservable; @@ -113,7 +115,7 @@ label = new Label(parent, style); this.parent = parent; this.dp=dp; - this.baseUrl = Activator.getDefault().getPreferenceStore().getString(Activator.baseUrl_id); + this.baseUrl = Activator.getDefault().getPreferenceStore().getString(PluginPreferencePage.baseUrl_id); try { setNewURL(createUrlFromParameter(dp)); } catch (MalformedURLException e) { diff -r 7153018334a1 -r e5b16fea0387 src/de/mpg/mpiwg/itgroup/digilib/plugin/Activator.java --- a/src/de/mpg/mpiwg/itgroup/digilib/plugin/Activator.java Wed Jan 05 12:29:11 2011 +0100 +++ b/src/de/mpg/mpiwg/itgroup/digilib/plugin/Activator.java Wed Jan 05 13:00:53 2011 +0100 @@ -14,8 +14,7 @@ public static final String PLUGIN_ID = "de.mpg.mpiwg.itgroup.diglib.plugin"; //$NON-NLS-1$ //default base url fuer preferences - private static final String baseUrl_default="http://digilib.mpiwg-berlin.mpg.de/digitallibrary/servlet/Scaler"; - public static String baseUrl_id="baseurl"; + // The shared instance private static Activator plugin; @@ -63,13 +62,5 @@ return imageDescriptorFromPlugin(PLUGIN_ID, path); } - /** - * Initializes a preference store with default preference values - * for this plug-in. - */ - protected void initializeDefaultPreferences(IPreferenceStore store) { - store.setDefault(baseUrl_id, baseUrl_default); - - - } + } diff -r 7153018334a1 -r e5b16fea0387 src/de/mpg/mpiwg/itgroup/digilib/plugin/PluginPreferenceInitializer.java --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/de/mpg/mpiwg/itgroup/digilib/plugin/PluginPreferenceInitializer.java Wed Jan 05 13:00:53 2011 +0100 @@ -0,0 +1,25 @@ +package de.mpg.mpiwg.itgroup.digilib.plugin; + +import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer; +import org.eclipse.core.runtime.preferences.DefaultScope; +import org.eclipse.core.runtime.preferences.IEclipsePreferences; +import org.eclipse.jface.preference.IPreferenceStore; + + +public class PluginPreferenceInitializer extends + AbstractPreferenceInitializer { + + public PluginPreferenceInitializer() { + super(); + } + + @Override + public void initializeDefaultPreferences() { + //IEclipsePreferences node = new DefaultScope().getNode(Activator.PLUGIN_ID); + IPreferenceStore store = Activator.getDefault().getPreferenceStore(); + + store.setDefault(PluginPreferencePage.baseUrl_id, "http://digilib.mpiwg-berlin.mpg.de/digitallibrary/servlet/Scaler"); + + + } +} diff -r 7153018334a1 -r e5b16fea0387 src/de/mpg/mpiwg/itgroup/digilib/plugin/PluginPreferencePage.java --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/de/mpg/mpiwg/itgroup/digilib/plugin/PluginPreferencePage.java Wed Jan 05 13:00:53 2011 +0100 @@ -0,0 +1,30 @@ +package de.mpg.mpiwg.itgroup.digilib.plugin; + +import org.eclipse.jface.preference.FieldEditorPreferencePage; +import org.eclipse.jface.preference.StringFieldEditor; +import org.eclipse.ui.IWorkbench; +import org.eclipse.ui.IWorkbenchPreferencePage; + +//private static final String baseUrl_default="http://digilib.mpiwg-berlin.mpg.de/digitallibrary/servlet/Scaler"; + +public class PluginPreferencePage extends FieldEditorPreferencePage implements + IWorkbenchPreferencePage { + public static String baseUrl_id="baseurl"; + public void init(IWorkbench workbench){ + setPreferenceStore(Activator.getDefault().getPreferenceStore()); + } + + + public PluginPreferencePage() { + super(GRID); + } + + + @Override + protected void createFieldEditors() { + addField(new StringFieldEditor(baseUrl_id, "digilib base url", getFieldEditorParent())); + + } + + +} diff -r 7153018334a1 -r e5b16fea0387 src/de/mpg/mpiwg/itgroup/digilib/plugin/WorkbenchPreferencePage.java --- a/src/de/mpg/mpiwg/itgroup/digilib/plugin/WorkbenchPreferencePage.java Wed Jan 05 12:29:11 2011 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,27 +0,0 @@ -package de.mpg.mpiwg.itgroup.digilib.plugin; - -import org.eclipse.jface.preference.FieldEditorPreferencePage; -import org.eclipse.jface.preference.StringFieldEditor; -import org.eclipse.ui.IWorkbench; -import org.eclipse.ui.IWorkbenchPreferencePage; - -public class WorkbenchPreferencePage extends FieldEditorPreferencePage implements - IWorkbenchPreferencePage { - - public void init(IWorkbench workbench){ - setPreferenceStore(Activator.getDefault().getPreferenceStore()); - } - - - public WorkbenchPreferencePage() { - super(GRID); - } - - - @Override - protected void createFieldEditors() { - addField(new StringFieldEditor(Activator.baseUrl_id, "digilib base url", getFieldEditorParent())); - - } - -}