@peter.prib/renderengine 0.2.6 → 0.2.10

package/src/workspace/parts/DiagramEditorPart.js

@@ -4,7 +4,6 @@ import { EditorPart } from './EditorPart.js';
 import { DiagramEditor } from '../../charting/DiagramEditor.js';
 import { MenuBar } from '../../charting/MenuBar.js';
 import { DiagramModel } from '../../charting/diagramModel/index.js';
-import { ViewTabStrip } from '../../charting/ViewTabStrip.js';
 import { LocalJsonStore } from '../../charting/storage/LocalJsonStore.js';
 import { EdgeStyleCascade } from '../../charting/edgeStyle/index.js';
 import { DiagramViewPropertiesDialog } from '../../charting/DiagramViewPropertiesDialog.js';
@@ -64,15 +63,10 @@ export class DiagramEditorPart extends EditorPart {
         elements.id = 'elements';
         canvas.appendChild(elements);
 
-        const tabs = new ViewTabStrip({
-            orientation: this.tabOrientation,
-            document: doc,
-            onSelect: (id) => model.switchTo(id),
-            menuItems: (id) => this.viewMenu.items(id),
-        }).render(model.views(), model.currentViewId);
+        const tabs = this.viewTabs({ orientation: this.tabOrientation });
 
         // The shared workbench layout: toolbar, palette at the side, tabs + canvas in the main area.
-        const { toolbar: menuBarEl, side: palette, main } = new EditorShell({ document: doc, sideWidth: '200px' }).mount(this.container);
+        const { toolbar: menuBarEl, side: palette, main } = new EditorShell({ document: doc, sideWidth: '200px', layout: this.layout, labels: { side: 'Palette' } }).mount(this.container);
         palette.classList.add('ws-diagram-palette');
         Object.assign(palette.style, { padding: '8px', fontSize: '12px', display: 'flex', flexDirection: 'column', overflowY: 'hidden' });
         main.style.flexDirection = this.tabOrientation === 'vertical' ? 'row' : 'column';