/// <summary>
/// Updates the result panel and its contents.
/// </summary>
public void updateSize()
{
//Resultlist
if (content is ResultList)
{
ResultList temp = content as ResultList;
temp.setSize(this.Width, this.Height);
}
//Info display
else if (content is InfoDisplay)
{
InfoDisplay temp = content as InfoDisplay;
temp.setSize(this.Width, this.Height);
}
//News reader
else if (content is NewsReader)
{
NewsReader temp = content as NewsReader;
temp.setSize(this.Width, this.Height);
}
//Integrated news list
else if (content is IntegratedNewsList)
{
IntegratedNewsList temp = content as IntegratedNewsList;
temp.setSize(this.Width, this.Height);
}
//Sets size of result panel
content.Width = this.Width;
content.Height = this.Height;
}
