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
IOException
public void load(FileReader f) throws IOException
IOException
Copyright © 2015. All rights reserved.