Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
Frame
JFlex.gui.MainFrame
Fields inherited from interface JFlex.gui.Handles | |
BOTTOM , BOTTOM_CENTER , BOTTOM_LEFT , BOTTOM_RIGHT , CENTER , CENTER_CENTER , CENTER_LEFT , CENTER_RIGHT , FILL , TOP , TOP_CENTER , TOP_LEFT , TOP_RIGHT |
Constructor Summary | |
Method Summary | |
void |
|
Dimension | |
protected void |
public void generationFinished(boolean success)
public Dimension getPreferredSize()
protected void showOptions()