Final push of district changes

[simantics/district.git] / org.simantics.maps.server.ui / src / org / simantics / maps / server / ui / prefs / MapsServerPreferencePage.java

diff --git a/org.simantics.maps.server.ui/src/org/simantics/maps/server/ui/prefs/MapsServerPreferencePage.java b/org.simantics.maps.server.ui/src/org/simantics/maps/server/ui/prefs/MapsServerPreferencePage.java
index 645dbda925698ca5e2443f3955ec83d6fd58e09b..548daf310fe663ab277a96f2185d6a40c888d6e3 100644 (file)
--- a/org.simantics.maps.server.ui/src/org/simantics/maps/server/ui/prefs/MapsServerPreferencePage.java
+++ b/org.simantics.maps.server.ui/src/org/simantics/maps/server/ui/prefs/MapsServerPreferencePage.java
@@ -118,7 +118,7 @@ public class MapsServerPreferencePage extends FieldEditorPreferencePage implemen
             
             @Override
             public void widgetSelected(SelectionEvent e) {
-                E4WorkbenchUtils.showInSystemExplorer("");
+//                E4WorkbenchUtils.showInSystemExplorer("");
             }
         });