package org.simantics.maps.prefs; import org.eclipse.core.runtime.preferences.InstanceScope; import org.eclipse.jface.preference.FieldEditor; import org.eclipse.jface.preference.FieldEditorPreferencePage; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.jface.preference.StringFieldEditor; import org.eclipse.ui.IWorkbench; import org.eclipse.ui.IWorkbenchPreferencePage; import org.eclipse.ui.preferences.ScopedPreferenceStore; public class MapsClientPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage { public MapsClientPreferencePage() { super(GRID); setDescription("Maps client preferences"); } @Override public void init(IWorkbench workbench) { } @Override protected IPreferenceStore doGetPreferenceStore() { return new ScopedPreferenceStore(InstanceScope.INSTANCE, MapsClientPreferences.P_NODE); } @Override protected void createFieldEditors() { FieldEditor editor = new StringFieldEditor(MapsClientPreferences.P_TILESERVER_URL, "Tileserver URL", getFieldEditorParent()); editor.setPreferenceStore(getPreferenceStore()); addField(editor); } }