From b0884707cb5572616b024c137a055cbfb806cc9c Mon Sep 17 00:00:00 2001
From: Tamara Steinwender <tamara.steinwender@tugraz.at>
Date: Wed, 30 Jun 2021 11:19:08 +0200
Subject: [PATCH] Change tabulator height in clipboard
---
packages/file-handling/src/clipboard.js | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/packages/file-handling/src/clipboard.js b/packages/file-handling/src/clipboard.js
index 426145dc..6576cbf9 100644
--- a/packages/file-handling/src/clipboard.js
+++ b/packages/file-handling/src/clipboard.js
@@ -103,13 +103,16 @@ export class Clipboard extends ScopedElementsMixin(AdapterLitElement) {
}
+
connectedCallback() {
super.connectedCallback();
const that = this;
this.updateComplete.then(() => {
// see: http://tabulator.info/docs/4.7
- this.tabulatorTable = new Tabulator(this._("#clipboard-content-table"), {
+ this.tabulatorTable = new Tabulator(this._("#clipboard-content-table"), {//if you delete the wrapper around the table you need to set a heigh here
+ maxHeight:"100%",
+ height:"100%",
layout: "fitColumns",
selectable: true,
selectableRangeMode: "drag",
@@ -323,6 +326,9 @@ export class Clipboard extends ScopedElementsMixin(AdapterLitElement) {
this.tabulatorTable.setData(data);
}
}
+ if (this._("#select_all")) {
+ this._("#select_all").checked = false;
+ }
}
/**
--
GitLab