182183184185186187188189190
* * @param lineWidth the line width multiplier */ public void setLineWidth(int lineWidth) { if ((float) lineWidth != graphicsState.lineWidth) { addObject(new GraphicsSetLineWidth(lineWidth)); graphicsState.lineWidth = (float) lineWidth; } }
177178179180181182183184185
* * @param lineWidth the line width multiplier */ public void setLineWidth(int lineWidth) { if (lineWidth != graphicsState.lineWidth) { addObject(new GraphicsSetLineWidth(lineWidth)); graphicsState.lineWidth = lineWidth; } }