| 1377 | } |
| 1378 | |
| 1379 | layout(): void { |
| 1380 | if (!this.disposed) { |
| 1381 | this._dimension = this.getClientArea(); |
| 1382 | this.logService.trace(`Layout#layout, height: ${this._dimension.height}, width: ${this._dimension.width}`); |
| 1383 | |
| 1384 | position(this.container, 0, 0, 0, 0, 'relative'); |
| 1385 | size(this.container, this._dimension.width, this._dimension.height); |
| 1386 | |
| 1387 | // Layout the grid widget |
| 1388 | this.workbenchGrid.layout(this._dimension.width, this._dimension.height); |
| 1389 | this.initialized = true; |
| 1390 | |
| 1391 | // Emit as event |
| 1392 | this._onDidLayout.fire(this._dimension); |
| 1393 | } |
| 1394 | } |
| 1395 | |
| 1396 | isEditorLayoutCentered(): boolean { |
| 1397 | return this.stateModel.getRuntimeValue(LayoutStateKeys.EDITOR_CENTERED); |