Package jflex.gui

Class OptionsDialog

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible

public class OptionsDialog extends Dialog
A dialog for setting JFlex options
Version:
JFlex 1.8.2
See Also:
  • Field Details

  • Constructor Details

    • OptionsDialog

      public OptionsDialog(Frame owner)
      Create a new options dialog
      Parameters:
      owner - a Frame object.
  • Method Details

    • setup

      public final void setup()
      setup.
    • skelBrowse

      private void skelBrowse()
    • updateState

      private void updateState()
    • setDefaults

      private void setDefaults()
    • close

      public void close()
      close.