public DocumentTab generateDocumentTab()
{
LevelDocument doc = (LevelDocument)DocumentView.getTab(Info.LevelDescriptor.Name);
if (doc == null)
{
doc = new LevelDocument(Info.LevelDescriptor, DocumentView);
}
return(doc);
}
public void OnLevelSelected( LevelDocument levelDoc )
{
//<In here it selects the level in the Properties window>
}
public void OnLevelAdded( LevelDocument levelDoc )
{
OnWorldChanged( );
OnLevelChanged( levelDoc );
levelDoc.Level.LevelAdded = true;
ShowTools( );
}
public void OnLevelChanged( LevelDocument levelDoc )
{
_builtLevels = false;
levelDoc.Text = levelDoc.Level.Name + "*";
levelDoc.Level.Changed( );
_itemBuildLevels.Enabled = true;
}
public void AddLevelDoc( LevelDocument levelDoc )
{
levelDoc.Show( _dockPanel );
levelDoc.TabPageContextMenuStrip = this._levelTabContextMenu;
}
