public MonoDevelopWorkspace() : base(services, ServiceLayer.Desktop)
{
this.Id = WorkspaceId.Next();
if (IdeApp.Workspace != null)
{
IdeApp.Workspace.ActiveConfigurationChanged += HandleActiveConfigurationChanged;
}
}
public IDisposable RegisterPrimaryWorkspace(WorkspaceId id)
{
if (primaryWorkspace.Equals(WorkspaceId.Empty))
{
primaryWorkspace = id;
return(new WorkspaceRegistration(this));
}
return(null);
}
internal static MonoDevelopWorkspace GetWorkspace(WorkspaceId id)
{
foreach (var ws in workspaces)
{
if (ws.Id.Equals(id))
{
return(ws);
}
}
return(emptyWorkspace);
}
public override bool Equals(object obj)
{
if (obj == null)
{
return(false);
}
if (ReferenceEquals(this, obj))
{
return(true);
}
if (obj.GetType() != typeof(WorkspaceId))
{
return(false);
}
WorkspaceId other = (WorkspaceId)obj;
return(Number == other.Number && DateTime == other.DateTime);
}
internal MonoDevelopWorkspace () : base (services, ServiceLayer.Desktop)
{
this.Id = WorkspaceId.Next ();
if (IdeApp.Workspace != null) {
IdeApp.Workspace.ActiveConfigurationChanged += HandleActiveConfigurationChanged;
}
}
internal static MonoDevelopWorkspace GetWorkspace (WorkspaceId id)
{
foreach (var ws in workspaces) {
if (ws.Id.Equals (id))
return ws;
}
return emptyWorkspace;
}
