(Graphics2D g2d)
| 331 | } |
| 332 | |
| 333 | private void setStrokeWidth(Graphics2D g2d) { |
| 334 | if (scale==1) { |
| 335 | if (dscale>1.0) |
| 336 | g2d.setStroke(new BasicStroke(IJ.isMacOSX()?1.4f:1.25f)); |
| 337 | } else |
| 338 | g2d.setStroke(new BasicStroke(scale)); |
| 339 | } |
| 340 | |
| 341 | private void fill3DRect(Graphics g, int x, int y, int width, int height, boolean raised) { |
| 342 | if (null==g) return; |
no test coverage detected