public override bool sameContent(WindowContent content)
{
return(content.GetType() == this.GetType() && this.terminalManager.Equals(((TerminalListContent)content).terminalManager));
}
public override bool sameContent(WindowContent content)
{
return(content.GetType() == this.GetType() &&
((LogicGraphContent)content).graph.Equals(this.graph));
}
public override bool sameContent(WindowContent content)
{
return(content.GetType() == this.GetType() && ((EnterTextContent)content).instructions.Equals(this.instructions));
}
public override bool sameContent(WindowContent content)
{
return(this.GetType() == content.GetType());
}
public override bool sameContent(WindowContent content)
{
return(this.GetType() == content.GetType() &&
((TerminalInfoContent)content).getTerminal().Equals(this.terminalController));
}
public override bool sameContent(WindowContent content)
{
return(content.GetType() == this.GetType() && ((TerminalConnectionsContent)content).terminal.Equals(this.terminal));
}
public override bool sameContent(WindowContent content)
{
return(content.GetType() == this.GetType() && ((GUIContents)content).getGUI().Equals(this.gui));
}