import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.preference.IntegerFieldEditor;
+import org.eclipse.jface.preference.StringFieldEditor;
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.SingletonTiffTileInterface;
import org.simantics.maps.elevation.server.prefs.MapsElevationServerPreferences;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
BooleanFieldEditor automatically = new BooleanFieldEditor(MapsElevationServerPreferences.P_USE_ELEVATION_SERVER, "Use elevation server", serverGroup);
addField(automatically);
+ StringFieldEditor tifFolderPath = new StringFieldEditor(MapsElevationServerPreferences.P_TIFF_FOLDER_PATH, "Tiff folder path", serverGroup);
+ addField(tifFolderPath);
+
IntegerFieldEditor pipeDepth = new IntegerFieldEditor(MapsElevationServerPreferences.P_PIPE_DEPTH_UNDER_GROUND, "Pipe depth under ground", serverGroup);
+ pipeDepth.setValidRange(Integer.MIN_VALUE, Integer.MAX_VALUE);
addField(pipeDepth);
GridLayoutFactory.fillDefaults().numColumns(2).equalWidth(false).extendedMargins(12, 12, 12, 12).spacing(5, 4).applyTo(serverGroup);
protected void performApply() {
super.performApply();
}
+
+ @Override
+ public boolean performOk() {
+ boolean ok = super.performOk();
+ if (ok) {
+ try {
+ SingletonTiffTileInterface.reloadElevationServer();
+ } catch (Exception e) {
+ LOGGER.error("Could not reload elevation server", e);
+ setErrorMessage(e.getMessage());
+ return false;
+ }
+ }
+ return ok;
+ }
@Override
public void init(IWorkbench workbench) {