1 package org.simantics.maps.prefs;
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;
12 public class MapsClientPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage {
14 public MapsClientPreferencePage() {
16 setDescription("Maps client preferences");
20 public void init(IWorkbench workbench) {
25 protected IPreferenceStore doGetPreferenceStore() {
26 return new ScopedPreferenceStore(InstanceScope.INSTANCE, MapsClientPreferences.P_NODE);
30 protected void createFieldEditors() {
31 FieldEditor editor = new StringFieldEditor(MapsClientPreferences.P_TILESERVER_URL, "Tileserver URL", getFieldEditorParent());
32 editor.setPreferenceStore(getPreferenceStore());