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

annotate src/de/mpg/mpiwg/itgroup/digilib/plugin/PluginPreferencePage.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 src/de/mpg/mpiwg/itgroup/digilib/plugin/WorkbenchPreferencePage.java@7153018334a1
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
1 package de.mpg.mpiwg.itgroup.digilib.plugin;
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
2
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
3 import org.eclipse.jface.preference.FieldEditorPreferencePage;
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
4 import org.eclipse.jface.preference.StringFieldEditor;
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
5 import org.eclipse.ui.IWorkbench;
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
6 import org.eclipse.ui.IWorkbenchPreferencePage;
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
7
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
8 //private static final String baseUrl_default="http://digilib.mpiwg-berlin.mpg.de/digitallibrary/servlet/Scaler";
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
9
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
10 public class PluginPreferencePage extends FieldEditorPreferencePage implements
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
11 IWorkbenchPreferencePage {
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
12 public static String baseUrl_id="baseurl";
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
13 public void init(IWorkbench workbench){
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
14 setPreferenceStore(Activator.getDefault().getPreferenceStore());
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
15 }
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
16
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
17
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
18 public PluginPreferencePage() {
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
19 super(GRID);
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
20 }
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
21
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
23 @Override
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
24 protected void createFieldEditors() {
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
25 addField(new StringFieldEditor(baseUrl_id, "digilib base url", getFieldEditorParent()));
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
26
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
27 }
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
28
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
29
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
30 }