1 package org.simantics.maps.prefs;
3 import org.eclipse.core.runtime.preferences.InstanceScope;
4 import org.eclipse.jface.preference.BooleanFieldEditor;
5 import org.eclipse.jface.preference.FieldEditor;
6 import org.eclipse.jface.preference.FieldEditorPreferencePage;
7 import org.eclipse.jface.preference.IPreferenceStore;
8 import org.eclipse.jface.preference.StringFieldEditor;
9 import org.eclipse.ui.IWorkbench;
10 import org.eclipse.ui.IWorkbenchPreferencePage;
11 import org.eclipse.ui.preferences.ScopedPreferenceStore;
13 public class MapsClientPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage {
15 public MapsClientPreferencePage() {
17 setDescription("Maps client preferences");
21 public void init(IWorkbench workbench) {
26 protected IPreferenceStore doGetPreferenceStore() {
27 return new ScopedPreferenceStore(InstanceScope.INSTANCE, MapsClientPreferences.P_NODE);
31 protected void createFieldEditors() {
32 FieldEditor editor = new StringFieldEditor(MapsClientPreferences.P_TILESERVER_URL, "Tileserver URL", getFieldEditorParent());
35 BooleanFieldEditor beditor = new BooleanFieldEditor(MapsClientPreferences.P_USE_BUILTIN, "Use builtin server", getFieldEditorParent());
40 protected void performApply() {