Changeset 17534 in josm for trunk/src/org/openstreetmap/josm/io/remotecontrol/handler/OpenFileHandler.java
- Timestamp:
- 2021-02-23T11:59:08+01:00 (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/remotecontrol/handler/OpenFileHandler.java
r10615 r17534 6 6 import java.io.File; 7 7 import java.util.Arrays; 8 import java.util.EnumSet; 8 9 9 10 import org.openstreetmap.josm.actions.OpenFileAction; 11 import org.openstreetmap.josm.gui.io.importexport.Options; 10 12 import org.openstreetmap.josm.gui.util.GuiHelper; 11 13 import org.openstreetmap.josm.io.remotecontrol.PermissionPrefWithDefault; … … 43 45 @Override 44 46 protected void handleRequest() throws RequestHandlerErrorException, RequestHandlerBadRequestException { 45 GuiHelper.runInEDTAndWait(() -> OpenFileAction.openFiles(Arrays.asList(new File(args.get("filename"))))); 47 EnumSet<Options> options = EnumSet.noneOf(Options.class); 48 if (PermissionPrefWithDefault.ALLOW_WEB_RESOURCES.isAllowed()) { 49 options.add(Options.ALLOW_WEB_RESOURCES); 50 } 51 GuiHelper.runInEDTAndWait(() -> 52 OpenFileAction.openFiles(Arrays.asList(new File(args.get("filename"))), options.toArray(new Options[0]))); 46 53 } 47 54
Note:
See TracChangeset
for help on using the changeset viewer.