Uses of Class jflex.gui.OptionsDialog

Packages that use OptionsDialog

Package

Description

Uses of OptionsDialog in jflex.gui

Fields in jflex.gui declared as OptionsDialog

Modifier and Type

Field

Description

private OptionsDialog

MainFrame.dialog