Skip to content
Snippets Groups Projects
Commit 0c5bbd83 authored by dcz's avatar dcz
Browse files

Split bugfix.

Remove unnecessary padding.
parent df872038
Branches
Tags
No related merge requests found
......@@ -776,27 +776,25 @@ Object.assign(LexicalUnitEdit, {
Split(['#semantics-frames-pane', '#semantics-schemata-pane'], {
sizes: [40, 60],
minSize: 400,
gutterSize: 2,
gutterSize: 4,
elementStyle: (dimension, size, gutterSize) => {
return {
'flex-basis': 'calc(' + size + '% - ' + gutterSize + 'px)'
}
},
});
Split(['#semantics-unified-frame-pane', '#semantics-slowal-frames-pane'], {
sizes: [60, 40],
direction: 'vertical',
gutterSize: 4,
});
}
Split(['#semantics-unified-frame-pane', '#semantics-slowal-frames-pane'], {
sizes: [60, 40],
direction: 'vertical',
gutterSize: 2,
});
if(this.unifiedFrameId) {
this.loadFrame();
}
},
template: `
<div class="col h-100 px-1 pt-0 pb-0 overflow-auto" id="semantics-frames-pane">
<div class="col h-100 px-0 pt-0 pb-0 overflow-auto" id="semantics-frames-pane">
<div id="semantics-unified-frame-pane" class="col w-100 p-0 overflow-auto">
<table v-if="readOnly" class="table-button-menu" style="max-width: 50px" cellspacing="1">
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment