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 Details

  • Constructor Details

    • SetFont

      public SetFont(Font f)