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; }