X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=org.simantics.district.maps%2Fsrc%2Forg%2Fsimantics%2Fmaps%2Fprefs%2FMapsClientPreferencePage.java;h=b81982c98a0fe2d719c0376307a05a47501ed5ea;hb=00e4eca98cef6d77d5023f4b424f9e8da0487463;hp=ba168368802568a3d51a428961c598d897cdfa85;hpb=02ecca5e61d2eb17de40cc058be678b414aaad00;p=simantics%2Fdistrict.git diff --git a/org.simantics.district.maps/src/org/simantics/maps/prefs/MapsClientPreferencePage.java b/org.simantics.district.maps/src/org/simantics/maps/prefs/MapsClientPreferencePage.java index ba168368..b81982c9 100644 --- a/org.simantics.district.maps/src/org/simantics/maps/prefs/MapsClientPreferencePage.java +++ b/org.simantics.district.maps/src/org/simantics/maps/prefs/MapsClientPreferencePage.java @@ -1,6 +1,7 @@ package org.simantics.maps.prefs; import org.eclipse.core.runtime.preferences.InstanceScope; +import org.eclipse.jface.preference.BooleanFieldEditor; import org.eclipse.jface.preference.FieldEditor; import org.eclipse.jface.preference.FieldEditorPreferencePage; import org.eclipse.jface.preference.IPreferenceStore; @@ -29,8 +30,14 @@ public class MapsClientPreferencePage extends FieldEditorPreferencePage implemen @Override protected void createFieldEditors() { FieldEditor editor = new StringFieldEditor(MapsClientPreferences.P_TILESERVER_URL, "Tileserver URL", getFieldEditorParent()); - editor.setPreferenceStore(getPreferenceStore()); addField(editor); + + BooleanFieldEditor beditor = new BooleanFieldEditor(MapsClientPreferences.P_USE_BUILTIN, "Use builtin server", getFieldEditorParent()); + addField(beditor); + } + + @Override + protected void performApply() { } }