public WorkbenchController(WorkbenchModel model)
{
model.OnDocumentAdded += new EventHandler (OnDocumentAddedHandler);
model.OnDocumentRemoved += new EventHandler (OnDocumentRemovedHandler);
}
// avoid public instantiation
private WorkbenchSingleton()
{
model = new WorkbenchModel ();
controller = new WorkbenchController (model);
}
