Method zoom

app/src/processing/app/ui/Toolkit.java:1061–1068

Calculate the desired size in pixels of an element using preferences or system zoom if preferences set to auto. @param pixels The size in pixels to scale. @return The scaled size.

(int pixels)

   * @return The scaled size.
   */
  static public int zoom(int pixels) {
    if (zoom == 0) {
      zoom = parseZoom();
    }
    // Deal with 125% scaling badness
    // https://github.com/processing/processing/issues/4902
    return (int) Math.ceil(zoom * pixels);
  }


  static public Dimension zoom(int w, int h) {