ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

escjava.gui
Class GuiOptionsPanel.Settings

java.lang.Object
  extended byescjava.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()

ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage