# 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()));
-
- }
-
-}