public class Menu
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.awt.Color |
BG_COLOR |
static java.awt.Color |
BORDER_COLOR |
static java.awt.Font |
FONT |
static java.awt.Color |
HILITE_COLOR |
Constructor and Description |
---|
Menu(GraphicalEditor canvas) |
Modifier and Type | Method and Description |
---|---|
static CStateMachine |
getHiliteMachine() |
CStateMachine |
getInteraction() |
public static final java.awt.Color BG_COLOR
public static final java.awt.Color HILITE_COLOR
public static final java.awt.Color BORDER_COLOR
public static final java.awt.Font FONT
public Menu(GraphicalEditor canvas)
public static CStateMachine getHiliteMachine()
public CStateMachine getInteraction()