Method openFolder

app/src/processing/app/Base.java:2096–2103

Implements the other cross-platform headache of opening a folder in the machine's native file browser.

(File file)

   * a folder in the machine's native file browser.
   */
  static public void openFolder(File file) {
    try {
      BaseNoGui.getPlatform().openFolder(file);
    } catch (Exception e) {
      showWarning(tr("Problem Opening Folder"),
                  format(tr("Could not open the folder\n{0}"), file.getAbsolutePath()), e);
    }
  }


  // .................................................................