From bc0b392199b7747e94b9311be4bf4729bc514a87 Mon Sep 17 00:00:00 2001
From: dcz2 <dcz@ipipan.waw.pl>
Date: Mon, 11 Jul 2022 22:28:24 +0200
Subject: [PATCH] Make splits more flexible
---
entries/static/entries/js/components/Entries.js | 7 +++----
entries/static/entries/js/components/LexicalUnitDisplay.js | 1 -
entries/static/entries/js/components/LexicalUnitEdit.js | 1 -
.../static/entries/js/components/UnificationComponent.js | 7 +++----
4 files changed, 6 insertions(+), 10 deletions(-)
diff --git a/entries/static/entries/js/components/Entries.js b/entries/static/entries/js/components/Entries.js
index 2b92bd8..bc99261 100644
--- a/entries/static/entries/js/components/Entries.js
+++ b/entries/static/entries/js/components/Entries.js
@@ -30,7 +30,6 @@ export default {
mounted () {
$('#entries-list').length && Split(['#entries-list', '#entry-display'], {
sizes: [20, 80],
- minSize: 300,
gutterSize: 4,
elementStyle: (dimension, size, gutterSize) => {
return {
@@ -45,8 +44,8 @@ export default {
});
},
template: `
- <div id="entries-list" class="col h-100 w-100 px-0">
- <div id="entries-list-div" class="col p-0 h-100 w-100 overflow-auto">
+ <div id="entries-list" class="col h-100 w-100 px-0 overflow-hidden">
+ <div id="entries-list-div" class="col p-0 h-100 w-100 overflow-hidden">
<unification-entries-list
:unificationEntriesListRefreshKey="unificationEntriesListRefreshKey"
:initialLexicalUnitId="lexicalUnitId"
@@ -54,7 +53,7 @@ export default {
@lexical-unit-selected="lexicalUnitSelected" />
</div>
</div>
- <div id="entry-display" class="col h-100 p-0">
+ <div id="entry-display" class="col h-100 p-0 overflow-hidden">
<div class="w-100 h-100">
<div id="right-pane" class="col w-100 p-0">
<unification-right-pane
diff --git a/entries/static/entries/js/components/LexicalUnitDisplay.js b/entries/static/entries/js/components/LexicalUnitDisplay.js
index f975605..5e0980b 100644
--- a/entries/static/entries/js/components/LexicalUnitDisplay.js
+++ b/entries/static/entries/js/components/LexicalUnitDisplay.js
@@ -83,7 +83,6 @@ export default {
mounted () {
Split(['#semantics-frames-pane', '#semantics-schemata-pane'], {
sizes: [40, 60],
- minSize: 400,
gutterSize: 4,
elementStyle: (dimension, size, gutterSize) => {
return {
diff --git a/entries/static/entries/js/components/LexicalUnitEdit.js b/entries/static/entries/js/components/LexicalUnitEdit.js
index f0442ee..14804a1 100644
--- a/entries/static/entries/js/components/LexicalUnitEdit.js
+++ b/entries/static/entries/js/components/LexicalUnitEdit.js
@@ -822,7 +822,6 @@ Object.assign(LexicalUnitEdit, {
if(!this.readOnly) {
Split(['#semantics-frames-pane', '#semantics-schemata-pane'], {
sizes: [40, 60],
- minSize: 400,
gutterSize: 4,
elementStyle: (dimension, size, gutterSize) => {
return {
diff --git a/entries/static/entries/js/components/UnificationComponent.js b/entries/static/entries/js/components/UnificationComponent.js
index 5ee1ebb..79291be 100644
--- a/entries/static/entries/js/components/UnificationComponent.js
+++ b/entries/static/entries/js/components/UnificationComponent.js
@@ -41,7 +41,6 @@ export default {
this.unifiedFrameSelected(window.initialUnifiedFrameId);
$('#entries-list').length && Split(['#entries-list', '#entry-display'], {
sizes: [20, 80],
- minSize: 300,
gutterSize: 4,
elementStyle: (dimension, size, gutterSize) => {
return {
@@ -51,8 +50,8 @@ export default {
});
},
template: `
- <div id="entries-list" class="col h-100 w-100 px-0">
- <div id="entries-list-div" class="col p-0 h-100 w-100 overflow-auto">
+ <div id="entries-list" class="col h-100 w-100 px-0 overflow-hidden">
+ <div id="entries-list-div" class="col p-0 h-100 w-100 overflow-hidden">
<unification-switchable-list
:unificationEntriesListRefreshKey="unificationEntriesListRefreshKey"
:initialLexicalUnitId="lexicalUnitId ? lexicalUnitId : initialLexicalUnitId"
@@ -62,7 +61,7 @@ export default {
/>
</div>
</div>
- <div id="entry-display" class="col h-100 p-0">
+ <div id="entry-display" class="col h-100 p-0 overflow-hidden">
<unification-right-pane
ref="unificationRightPane"
:entryId="entryId"
--
GitLab