private void OperatorDockPanelActiveDocumentChanged(object sender, EventArgs e)
{
if (this.operatorDockPanel.ActiveDocument != null)
{
this.m_currentOpenPNsPage.SetActiveMode(false);
this.m_currentOpenPNsPage = this.operatorDockPanel.ActiveDocument as PetriNetsPageForm;
this.m_currentOpenPNsPage.SetActiveMode(true);
RootApp.UI.UI.ShowDebugText("Open " + this.m_currentOpenPNsPage.Text + ".");
}
else
{
this.m_currentOpenPNsPage.SetActiveMode(false);
this.m_currentOpenPNsPage = null;
RootApp.UI.UI.ShowDebugText("All page has been closed !");
}
}
public void CreateNewPage()
{
PetriNetsPageForm newPage = new PetriNetsPageForm();
newPage.Parent = this;
if (this.m_newPageCount != 0)
{
newPage.ModifiedPageName("New Page" + this.m_newPageCount.ToString());
}
newPage.Disposed += new EventHandler(CurrentOpenPnsPage_Dispose);
if (this.m_currentOpenPNsPage != null)
{
this.m_currentOpenPNsPage.SetActiveMode(false);
}
this.m_currentOpenPNsPage = newPage;
this.m_currentOpenPNsPage.ShowWindow(this.operatorDockPanel, DockState.Document);
this.m_petriNetsPageDictionary.Add(this.m_currentOpenPNsPage.Text, this.m_currentOpenPNsPage);
this.m_newPageCount++;
RootApp.UI.UI.ShowDebugText("Create new page named " + this.m_currentOpenPNsPage.Text + ".");
}
