External module "ext/CvWorkbenchManager"
Variables
CvWorkbenchManager
Cv
WorkbenchManager: ClassicComponentClass<CvWorkbenchManagerProps> = React.createClass<CvWorkbenchManagerProps, CvWorkbenchManagerState>({mixins: [CvBaseMixin],appWinDef: function() {return this.props.appWinDef || this.firstInScope(AppWinDef);},componentDidMount() {const selectionProvider:CvValueProvider<Workbench> = this.props.selectionProvider;selectionProvider.subscribe(this._updateWorkbench);},getChildContext: function() {const ctx = this.getDefaultChildContext();ctx.cvContext.scopeCtx.scopeObj = this.appWinDef();return ctx;},getDefaultProps: function() {return {appWinDef: null, menuRenderer: null, workbenchRenderer: null, selectionProvider: null}},getInitialState: function() {return {activeWorkbench: null}},render: function () {const appWinDef:AppWinDef = this.appWinDef();if(appWinDef) {if (this.props.renderer) {return this.props.renderer(this.getChildContext().cvContext);} else {return (<div className="cv-workbench-manager-container animated zoomIn"><div className="row">{this.props.menuRenderer()}</div><div className="cv-panel panel panel-primary cv-workbench-panel"><div className="cv-panel-heading panel-heading"><h3 className="cv-panel-title panel-title">{this.state.activeWorkbench ? this.state.activeWorkbench.name : ''}</h3></div><div className="cv-panel-body panel-body">{this.props.workbenchRenderer()}</div></div></div>);}} else {return null;}},_updateWorkbench: function(workbench:Workbench) {this.setState({activeWorkbench: workbench});}})