org.jext.misc
Class Workspaces.WorkspaceElement

java.lang.Object
  extended byorg.jext.misc.Workspaces.WorkspaceElement
Enclosing class:
Workspaces

public static class Workspaces.WorkspaceElement
extends java.lang.Object


Field Summary
 java.util.ArrayList contents
           
 
Method Summary
 java.lang.String getName()
           
 int getSelectedIndex()
           
 void setSelectedIndex(int index)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

contents

public java.util.ArrayList contents
Method Detail

getSelectedIndex

public int getSelectedIndex()

getName

public java.lang.String getName()

setSelectedIndex

public void setSelectedIndex(int index)

toString

public java.lang.String toString()


Copyright ? 2002 Romain Guy.