X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=org.simantics.maps.elevation.server.ui%2Fsrc%2Forg%2Fsimantics%2Fmaps%2Felevation%2Fserver%2Fui%2FMapsElevationServerPreferencePage.java;h=a014c315aa02c094d4139f650233ea807d4fa443;hb=03bf22e6e4d5bc912d4ec70c1956b1c804b837d3;hp=43200ce98a74cd07a26c87ed1625e2ce7d8eba67;hpb=9273ab6cc9e34fdcf6435ca55398f0e779872bac;p=simantics%2Fdistrict.git

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
index 43200ce9..a014c315 100644
--- 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
@@ -39,6 +39,7 @@ public class MapsElevationServerPreferencePage extends FieldEditorPreferencePage
         addField(automatically);
 
         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);