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

annotate src/de/mpg/mpiwg/itgroup/digilib/plugin/PluginPreferenceInitializer.java @ 24:1a7940ac5169

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor
author dwinter
date Wed, 05 Jan 2011 14:04:58 +0100
parents e5b16fea0387
children
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.jface.preference.IPreferenceStore;
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
5
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
6
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
7 public class PluginPreferenceInitializer extends
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
8 AbstractPreferenceInitializer {
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
9
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
10 public PluginPreferenceInitializer() {
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
11 super();
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
12 }
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
13
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
14 @Override
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
15 public void initializeDefaultPreferences() {
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
16 //IEclipsePreferences node = new DefaultScope().getNode(Activator.PLUGIN_ID);
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
17 IPreferenceStore store = Activator.getDefault().getPreferenceStore();
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
18
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
19 store.setDefault(PluginPreferencePage.baseUrl_id, "http://digilib.mpiwg-berlin.mpg.de/digitallibrary/servlet/Scaler");
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
20
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
21
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
22 }
e5b16fea0387 minor changes to set preferences
dwinter
parents:
diff changeset
23 }