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

void
close()
void
setup()

Constructor Details

OptionsDialog

public OptionsDialog(Frame owner)
Create a new options dialog
Parameters:
owner -

Method Details

close

public void close()

setup

public void setup()