public static class Workspaces.WorkspaceElement
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.ArrayList |
contents |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getName() |
int |
getSelectedIndex() |
void |
setSelectedIndex(int index) |
java.lang.String |
toString() |
Copyright ? 2002 Romain Guy.