]> gerrit.simantics Code Review - simantics/district.git/blobdiff - org.simantics.maps.elevation.server.ui/src/org/simantics/maps/elevation/server/ui/MapsElevationServerPreferencePage.java
First version of elevation server based on GeoTIFF files
[simantics/district.git] / org.simantics.maps.elevation.server.ui / src / org / simantics / maps / elevation / server / ui / MapsElevationServerPreferencePage.java
diff --git a/org.simantics.maps.elevation.server.ui/src/org/simantics/maps/elevation/server/ui/MapsElevationServerPreferencePage.java b/org.simantics.maps.elevation.server.ui/src/org/simantics/maps/elevation/server/ui/MapsElevationServerPreferencePage.java
new file mode 100644 (file)
index 0000000..69ac4bc
--- /dev/null
@@ -0,0 +1,60 @@
+package org.simantics.maps.elevation.server.ui;
+
+import org.eclipse.core.runtime.preferences.InstanceScope;
+import org.eclipse.jface.layout.GridDataFactory;
+import org.eclipse.jface.layout.GridLayoutFactory;
+import org.eclipse.jface.preference.BooleanFieldEditor;
+import org.eclipse.jface.preference.FieldEditorPreferencePage;
+import org.eclipse.jface.preference.IPreferenceStore;
+import org.eclipse.swt.SWT;
+import org.eclipse.swt.widgets.Group;
+import org.eclipse.ui.IWorkbench;
+import org.eclipse.ui.IWorkbenchPreferencePage;
+import org.eclipse.ui.preferences.ScopedPreferenceStore;
+import org.simantics.maps.elevation.server.prefs.MapsElevationServerPreferences;
+import org.slf4j.Logger;
+import org.slf4j.LoggerFactory;
+
+public class MapsElevationServerPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage {
+
+    private static final Logger LOGGER = LoggerFactory.getLogger(MapsElevationServerPreferencePage.class);
+    
+    public MapsElevationServerPreferencePage() {
+        super(GRID);
+        setDescription("Maps elevation server preferences");
+    }
+
+    @Override
+    protected IPreferenceStore doGetPreferenceStore() {
+        return new ScopedPreferenceStore(InstanceScope.INSTANCE, MapsElevationServerPreferences.P_NODE);
+    }
+
+    private void createGeneralGroup() {
+        Group serverGroup = new Group(getFieldEditorParent(), SWT.NONE);
+        serverGroup.setText("General");
+        GridDataFactory.fillDefaults().grab(true, false).span(2, 1).applyTo(serverGroup);
+
+        BooleanFieldEditor automatically = new BooleanFieldEditor(MapsElevationServerPreferences.P_USE_ELEVATION_SERVER, "Use elevation server", serverGroup);
+        addField(automatically);
+
+        GridLayoutFactory.fillDefaults().numColumns(2).equalWidth(false).extendedMargins(12, 12, 12, 12).spacing(5, 4).applyTo(serverGroup);
+    }
+    
+    @Override
+    protected void createFieldEditors() {
+        createGeneralGroup();
+
+    }
+
+    @Override
+    protected void performApply() {
+        super.performApply();
+    }
+
+    @Override
+    public void init(IWorkbench workbench) {
+        
+    }
+
+
+}