org.jext.misc
Class Workspaces.WorkspaceElement

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