|
|
|
|
|
|
|
|
* @param lineWidth the line width multiplier |
|
|
* @param lineWidth the line width multiplier |
|
|
*/ |
|
|
*/ |
|
|
public void setLineWidth(float lineWidth) { |
|
|
public void setLineWidth(float lineWidth) { |
|
|
float epsilon = Float.MIN_NORMAL; |
|
|
|
|
|
|
|
|
float epsilon = Float.intBitsToFloat ( 0x00800000 ); // Float.MIN_NORMAL (JDK1.6) |
|
|
if ( Math.abs ( graphicsState.lineWidth - lineWidth ) > epsilon ) { |
|
|
if ( Math.abs ( graphicsState.lineWidth - lineWidth ) > epsilon ) { |
|
|
addObject(new GraphicsSetFractionalLineWidth(lineWidth)); |
|
|
addObject(new GraphicsSetFractionalLineWidth(lineWidth)); |
|
|
graphicsState.lineWidth = lineWidth; |
|
|
graphicsState.lineWidth = lineWidth; |