Exemple #1
0
 static {
   Stroke stroke = new BasicStroke(2);
   selectionShape = stroke.createStrokedShape(hitRect);
   format.setMinimumIntegerDigits(1);
   format.setMinimumFractionDigits(1);
   format.setMaximumFractionDigits(2);
 }
 public void setStroke(Stroke s) {
   if (s != null) {
     m_localGraphicsState.setStroke(s);
     if (s.equals(m_psGraphicsState.getStroke())) {
       return;
     }
     m_psGraphicsState.setStroke(s);
   } else {
     m_localGraphicsState.setStroke(new BasicStroke());
     m_psGraphicsState.setStroke(getStroke());
   }
   // ouput postscript here to set stroke.
 }