Mercurial > hg > de.mpg.mpiwg.itgroup.digilib.plugin

annotate src/de/mpg/mpiwg/itgroup/digilib/plugin/PluginPreferenceInitializer.java @ 23:e5b16fea0387

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor changes to set preferences
author dwinter
date Wed, 05 Jan 2011 13:00:53 +0100
parents
children 1a7940ac5169
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
23
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
1 package de.mpg.mpiwg.itgroup.digilib.plugin;
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
2
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
3 import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
4 import org.eclipse.core.runtime.preferences.DefaultScope;
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
5 import org.eclipse.core.runtime.preferences.IEclipsePreferences;
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
6 import org.eclipse.jface.preference.IPreferenceStore;
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
7
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
8
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
9 public class PluginPreferenceInitializer extends
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
10 AbstractPreferenceInitializer {
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
11
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
12 public PluginPreferenceInitializer() {
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
13 super();
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
14 }
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
15
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
16 @Override
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
17 public void initializeDefaultPreferences() {
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
18 //IEclipsePreferences node = new DefaultScope().getNode(Activator.PLUGIN_ID);
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
19 IPreferenceStore store = Activator.getDefault().getPreferenceStore();
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
20
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
21 store.setDefault(PluginPreferencePage.baseUrl_id, "http://digilib.mpiwg-berlin.mpg.de/digitallibrary/servlet/Scaler");
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
22
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
23
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
24 }
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
25 }