Add PanelContainer.getElement, remove PanelContainer view provider

This commit is contained in:
Max Brunsfeld
2017-04-05 15:26:47 -07:00
parent 6f0b1947ee
commit d1e8e359ce
6 changed files with 34 additions and 32 deletions

View File

@@ -77,13 +77,13 @@ module.exports = class Workspace extends Model {
}
this.panelContainers = {
top: new PanelContainer({location: 'top'}),
left: new PanelContainer({location: 'left', dock: this.docks.left}),
right: new PanelContainer({location: 'right', dock: this.docks.right}),
bottom: new PanelContainer({location: 'bottom', dock: this.docks.bottom}),
header: new PanelContainer({location: 'header'}),
footer: new PanelContainer({location: 'footer'}),
modal: new PanelContainer({location: 'modal'})
top: new PanelContainer({viewRegistry: this.viewRegistry, location: 'top'}),
left: new PanelContainer({viewRegistry: this.viewRegistry, location: 'left', dock: this.docks.left}),
right: new PanelContainer({viewRegistry: this.viewRegistry, location: 'right', dock: this.docks.right}),
bottom: new PanelContainer({viewRegistry: this.viewRegistry, location: 'bottom', dock: this.docks.bottom}),
header: new PanelContainer({viewRegistry: this.viewRegistry, location: 'header'}),
footer: new PanelContainer({viewRegistry: this.viewRegistry, location: 'footer'}),
modal: new PanelContainer({viewRegistry: this.viewRegistry, location: 'modal'})
}
this.subscribeToEvents()
@@ -144,13 +144,13 @@ module.exports = class Workspace extends Model {
}
this.panelContainers = {
top: new PanelContainer({location: 'top'}),
left: new PanelContainer({location: 'left', dock: this.docks.left}),
right: new PanelContainer({location: 'right', dock: this.docks.right}),
bottom: new PanelContainer({location: 'bottom', dock: this.docks.bottom}),
header: new PanelContainer({location: 'header'}),
footer: new PanelContainer({location: 'footer'}),
modal: new PanelContainer({location: 'modal'})
top: new PanelContainer({viewRegistry: this.viewRegistry, location: 'top'}),
left: new PanelContainer({viewRegistry: this.viewRegistry, location: 'left', dock: this.docks.left}),
right: new PanelContainer({viewRegistry: this.viewRegistry, location: 'right', dock: this.docks.right}),
bottom: new PanelContainer({viewRegistry: this.viewRegistry, location: 'bottom', dock: this.docks.bottom}),
header: new PanelContainer({viewRegistry: this.viewRegistry, location: 'header'}),
footer: new PanelContainer({viewRegistry: this.viewRegistry, location: 'footer'}),
modal: new PanelContainer({viewRegistry: this.viewRegistry, location: 'modal'})
}
this.originalFontSize = null