From 4e04ee947ffe9ff2f4312d440de5bf22d53a233c Mon Sep 17 00:00:00 2001
From: Tamara Steinwender <tamara.steinwender@tugraz.at>
Date: Mon, 11 Jul 2022 12:25:18 +0200
Subject: [PATCH] Fix toolkit tabulator update display bug
---
packages/file-handling/src/clipboard.js | 2 ++
packages/file-handling/src/styles.js | 10 +++++++++-
2 files changed, 11 insertions(+), 1 deletion(-)
diff --git a/packages/file-handling/src/clipboard.js b/packages/file-handling/src/clipboard.js
index 250e0b01..fedc4d8e 100644
--- a/packages/file-handling/src/clipboard.js
+++ b/packages/file-handling/src/clipboard.js
@@ -864,6 +864,8 @@ export class Clipboard extends ScopedElementsMixin(AdapterLitElement) {
${commonStyles.getRadioAndCheckboxCss()}
${commonStyles.getTabulatorStyles()}
${fileHandlingStyles.getFileHandlingCss()}
+
+
a {
border-bottom: var(--dbp-border);
padding: 0;
diff --git a/packages/file-handling/src/styles.js b/packages/file-handling/src/styles.js
index be3972ba..eae14667 100644
--- a/packages/file-handling/src/styles.js
+++ b/packages/file-handling/src/styles.js
@@ -168,7 +168,15 @@ export function getFileHandlingCss() {
.select-all-icon {
height: 40px;
position: absolute;
- top: -34px;
+ top: -18px;
+ }
+
+
+ .tabulator .tabulator-header .tabulator-col.tabulator-sortable .tabulator-col-title {
+ padding-top: 4px;
+ padding-bottom: 4px;
+ font-weight: normal;
+ font-size: 1rem;
}
@media only screen and (orientation: portrait) and (max-width: 768px) {
--
GitLab