public class WorkspaceConfig extends Object
| Modifier and Type | Field and Description |
|---|---|
protected ArrayList |
search |
protected String |
workspace |
| Constructor and Description |
|---|
WorkspaceConfig() |
WorkspaceConfig(VNS parent) |
public WorkspaceConfig()
public WorkspaceConfig(VNS parent)
public void save(Writer f) throws IOException
IOExceptionpublic void load(FileReader f) throws IOException
IOExceptionCopyright © 2015. All rights reserved.