From d73bf5d37ae10e01260a460766fe058499e927a3 Mon Sep 17 00:00:00 2001 From: Sander Vocke Date: Mon, 27 Jan 2020 13:35:31 +0100 Subject: [PATCH] Better filter display --- src/userquerywidget.js | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/userquerywidget.js b/src/userquerywidget.js index 0b9cfc1..62ecb91 100644 --- a/src/userquerywidget.js +++ b/src/userquerywidget.js @@ -29,6 +29,9 @@ const useStyles = makeStyles(theme => ({ logic_op_subexpr: { float: "right", }, + filtercontrol: { + display: "flex", + }, })); export function TagEqualsExpressionControl(props) { @@ -177,6 +180,7 @@ export function FilterExpressionControl(props) { } export function FilterControl(props) { + const classes = useStyles(); const { filter, onChange, resultType, resultTypeString } = props; function handleResultToggled() { @@ -191,7 +195,7 @@ export function FilterControl(props) { const enabled = !filter_is_const_false(filter); return ( <> - +