(int pixels)
| 826 | |
| 827 | |
| 828 | static public int zoom(int pixels) { |
| 829 | if (zoom == 0) { |
| 830 | zoom = parseZoom(); |
| 831 | } |
| 832 | // Deal with 125% scaling badness |
| 833 | // https://github.com/processing/processing/issues/4902 |
| 834 | return (int) Math.ceil(zoom * pixels); |
| 835 | } |
| 836 | |
| 837 | |
| 838 | static public Dimension zoom(int w, int h) { |
no test coverage detected