JFlex.gui

Class OptionsDialog

public class OptionsDialog extends Dialog

A dialog for setting JFlex options
Constructor Summary
OptionsDialog(Frame owner)
Create a new options dialog
Method Summary
voidclose()
voidsetup()

Constructor Detail

OptionsDialog

public OptionsDialog(Frame owner)
Create a new options dialog

Parameters: owner

Method Detail

close

public void close()

setup

public void setup()