escjava.gui
Class GuiOptionsPanel.Settings

java.lang.Object
  escjava.gui.GuiOptionsPanel.Settings

Enclosing class:

GuiOptionsPanel

public static class GuiOptionsPanel.Settings

extends java.lang.Object

Field Summary

boolean	autoExpand
boolean	autoScroll
boolean	autoShowErrors
boolean	breadthFirst

Constructor Summary

GuiOptionsPanel.Settings()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

autoExpand

public boolean autoExpand

autoScroll

public boolean autoScroll

breadthFirst

public boolean breadthFirst

autoShowErrors

public boolean autoShowErrors

Constructor Detail

GuiOptionsPanel.Settings

public GuiOptionsPanel.Settings()