@emuanalytics/flow-rdf-ui 4.1.11 → 4.1.12

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (5) hide show
  1. package/dist/components/split-view/split-view.component.mjs +4 -1
  2. package/dist/custom-elements.json +963 -963
  3. package/dist/package.json.mjs +1 -1
  4. package/dist/vscode.html-custom-data.json +110 -110
  5. package/package.json +1 -1
package/dist/components/split-view/split-view.component.mjs CHANGED
@@ -199,7 +199,10 @@ class FlowUiSplitView extends FlowRdfElement {
199
199
  let sizeDelta = this.sizeToPixels(panel.size) - this.sizeToPixels(panel.closedSize);
200
200
  sizeDelta -= this.shrinkPanels(panelIndex + 1, 1, false, sizeDelta);
201
201
  if (sizeDelta > 0) {
202
- this.shrinkPanels(panelIndex, -1, false, sizeDelta);
202
+ sizeDelta = this.shrinkPanels(panelIndex, -1, false, sizeDelta);
203
+ }
204
+ if (sizeDelta > 0) {
205
+ panel.size = "auto";
203
206
  }
204
207
  }
205
208
  }