gui: Add xattr filter editor (fixes #8660) (#8734)

2023-02-09 09:14:36 +01:00
parent 784129e1cf
commit 0530f0edbf
3 changed files with 139 additions and 0 deletions
@@ -144,6 +144,10 @@ table.table-auto td {
    max-width: 0px;
 }

+td input[type="checkbox"] {
+    margin-top: 13px;
+}
+
 /* Remote Devices connection-quality indicator */
 .reception-0 {
    background: url('../../vendor/bootstrap/fonts/reception-0.svg') no-repeat;