From 2351c792821249d96a17a1662c379b639d3d6d35 Mon Sep 17 00:00:00 2001 From: Christian Speich Date: Thu, 22 Jun 2023 19:05:43 +0200 Subject: [PATCH] Use row gap for filter editor Fixes other indentation in filter-editor --- .../filter-editor.component.html | 173 +++++++++--------- 1 file changed, 86 insertions(+), 87 deletions(-) diff --git a/src-ui/src/app/components/document-list/filter-editor/filter-editor.component.html b/src-ui/src/app/components/document-list/filter-editor/filter-editor.component.html index 25d581ed1..69e6e3768 100644 --- a/src-ui/src/app/components/document-list/filter-editor/filter-editor.component.html +++ b/src-ui/src/app/components/document-list/filter-editor/filter-editor.component.html @@ -1,90 +1,89 @@ -
-
-
-
-
- - +
+
+
+
+
+ + - - - -
-
+
+ + + +
+
+
+
+
+
+ + + + +
+
+ + +
+
+ +
+
+ +
+
-
-
-
-
- - - - -
-
- - -
-
- -
-
- -
-
-