| _stdErr | Workspace | [private] |
| _variables | Workspace | [private] |
| ChangeHandler() | Workspace | |
| Clear() | Workspace | [inline] |
| Contains(object obj) | Workspace | [inline] |
| Load(FileStream fileStream, BinaryFormatter formatter) | Workspace | [inline] |
| NotifyAll() | Workspace | [inline, private] |
| OnChange | Workspace | |
| Remove(object obj) | Workspace | [inline] |
| Save(FileStream fileStream, BinaryFormatter formatter) | Workspace | [inline] |
| this | Workspace | |
| Variables | Workspace | |
| Workspace(ObservableWriterStream stdError) | Workspace | [inline] |