460 xml.writeAttribute("Id", extension);
461 xml.writeAttribute("Advertise", "no");
462
463 var mimeIt = fa.mimeTypes.iterator();
464 if (mimeIt.hasNext()) {
465 String mime = mimeIt.next();
466 xml.writeAttribute("ContentType", mime);
467
468 if (!defaultedMimes.contains(mime)) {
469 xml.writeStartElement("MIME");
470 xml.writeAttribute("ContentType", mime);
471 xml.writeAttribute("Default", "yes");
472 xml.writeEndElement();
473 defaultedMimes.add(mime);
474 }
475 }
476
477 xml.writeStartElement("Verb");
478 xml.writeAttribute("Id", "open");
479 xml.writeAttribute("Command", "Open");
480 xml.writeAttribute("Argument", "%1");
481 xml.writeAttribute("TargetFile", Id.File.of(fa.launcherPath));
482 xml.writeEndElement(); // <Verb>
483
484 xml.writeEndElement(); // <Extension>
485 }));
486 }
487
488 return components;
489 }
490
491 private List<String> addRootBranch(XMLStreamWriter xml, Path path)
492 throws XMLStreamException, IOException {
493 if (!ROOT_DIRS.contains(path.getName(0))) {
494 throw throwInvalidPathException(path);
495 }
496
497 Function<Path, String> createDirectoryName = dir -> null;
498
499 boolean sysDir = true;
500 int levels = 1;
|
460 xml.writeAttribute("Id", extension);
461 xml.writeAttribute("Advertise", "no");
462
463 var mimeIt = fa.mimeTypes.iterator();
464 if (mimeIt.hasNext()) {
465 String mime = mimeIt.next();
466 xml.writeAttribute("ContentType", mime);
467
468 if (!defaultedMimes.contains(mime)) {
469 xml.writeStartElement("MIME");
470 xml.writeAttribute("ContentType", mime);
471 xml.writeAttribute("Default", "yes");
472 xml.writeEndElement();
473 defaultedMimes.add(mime);
474 }
475 }
476
477 xml.writeStartElement("Verb");
478 xml.writeAttribute("Id", "open");
479 xml.writeAttribute("Command", "Open");
480 xml.writeAttribute("Argument", "\"%1\"");
481 xml.writeAttribute("TargetFile", Id.File.of(fa.launcherPath));
482 xml.writeEndElement(); // <Verb>
483
484 xml.writeEndElement(); // <Extension>
485 }));
486 }
487
488 return components;
489 }
490
491 private List<String> addRootBranch(XMLStreamWriter xml, Path path)
492 throws XMLStreamException, IOException {
493 if (!ROOT_DIRS.contains(path.getName(0))) {
494 throw throwInvalidPathException(path);
495 }
496
497 Function<Path, String> createDirectoryName = dir -> null;
498
499 boolean sysDir = true;
500 int levels = 1;
|