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

annotate src/de/mpg/mpiwg/itgroup/digilib/plugin/preferences/PluginPreferencePage.java @ 28:f2e1827b97d7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
rearrangement of classes bug fixing activator
author dwinter
date Sat, 18 Jun 2011 09:52:18 +0200
parents 183c3e96f6c3
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
26
183c3e96f6c3 cleaned code
dwinter
parents: 23
diff changeset
1 package de.mpg.mpiwg.itgroup.digilib.plugin.preferences;
22
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
28
f2e1827b97d7 rearrangement of classes
dwinter
parents: 26
diff changeset
8 import de.mpg.mpiwg.itgroup.digilib.core.plugin.Activator;
26
183c3e96f6c3 cleaned code
dwinter
parents: 23
diff changeset
9
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
10 //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
11
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
12 public class PluginPreferencePage extends FieldEditorPreferencePage implements
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
13 IWorkbenchPreferencePage {
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
14 public static String baseUrl_id="baseurl";
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
15 public void init(IWorkbench workbench){
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
16 setPreferenceStore(Activator.getDefault().getPreferenceStore());
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
17 }
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
18
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
19
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
20 public PluginPreferencePage() {
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
21 super(GRID);
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
22 }
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
23
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
24
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
25 @Override
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
26 protected void createFieldEditors() {
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
27 addField(new StringFieldEditor(baseUrl_id, "digilib base url", getFieldEditorParent()));
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
28
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
29 }
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
30
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
31
22
7153018334a1 preference hinzugefuegt
dwinter
parents:
diff changeset
32 }