Package org.jcsp.awt

Class GraphicsCommand.SetFont

  • Enclosing class:
    GraphicsCommand

    public static final class GraphicsCommand.SetFont
    extends GraphicsCommand
    This is the (immutable) command object for java.awt.Graphics.setFont.
    • Field Detail

      • f

        final java.awt.Font f
    • Constructor Detail

      • SetFont

        public SetFont​(java.awt.Font f)