org.simantics.district.maps/src/org/simantics/maps/prefs/MapsClientPreferencePage.java

   1 package org.simantics.maps.prefs;
   2
   3 import org.eclipse.core.runtime.preferences.InstanceScope;
   4 import org.eclipse.jface.preference.FieldEditor;
   5 import org.eclipse.jface.preference.FieldEditorPreferencePage;
   6 import org.eclipse.jface.preference.IPreferenceStore;
   7 import org.eclipse.jface.preference.StringFieldEditor;
   8 import org.eclipse.ui.IWorkbench;
   9 import org.eclipse.ui.IWorkbenchPreferencePage;
  10 import org.eclipse.ui.preferences.ScopedPreferenceStore;
  11
  12 public class MapsClientPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage {
  13
  14     public MapsClientPreferencePage() {
  15         super(GRID);
  16         setDescription("Maps client preferences");
  17     }
  18
  19     @Override
  20     public void init(IWorkbench workbench) {
  21
  22     }
  23
  24     @Override
  25     protected IPreferenceStore doGetPreferenceStore() {
  26         return new ScopedPreferenceStore(InstanceScope.INSTANCE, MapsClientPreferences.P_NODE);
  27     }
  28
  29     @Override
  30     protected void createFieldEditors() {
  31         FieldEditor editor = new StringFieldEditor(MapsClientPreferences.P_TILESERVER_URL, "Tileserver URL", getFieldEditorParent());
  32         editor.setPreferenceStore(getPreferenceStore());
  33         addField(editor);
  34     }
  35
  36 }