Method openURL

app/src/processing/app/Platform.java:157–165

Implements the cross-platform headache of opening URLs. Since 2.0a8, this requires the parameter to be an actual URL, meaning that you can't send it a file:// path without a prefix. It also just calls into Platform, which now uses java.awt.Desktop (where possible). The URL must also be properly

(String url)

   * (where possible). The URL must also be properly URL-encoded.
   */
  static public void openURL(String url) {
    try {
      inst.openURL(url);

    } catch (Exception e) {
      Messages.showWarning("Problem Opening URL",
                           "Could not open the URL\n" + url, e);
    }
  }


  /**