Method setFiles

basex-core/src/main/java/org/basex/gui/GUIOptions.java:254–261

Sets the string array value of an option. Duplicates and orphaned files will be removed. @param option option to be set @param paths file paths to be assigned

(final StringsOption option, final String[] paths)

   * @param paths file paths to be assigned
   */
  public synchronized void setFiles(final StringsOption option, final String[] paths) {
    final StringList list = new StringList();
    for(final String path : paths) {
      final IOFile file = new IOFile(path);
      if(file.exists()) list.addUnique(file.path());
    }
    set(option, list.finish());
  }

  /**
   * Sets the string value of an option. The file path will be normalized.