Minor fix and rebuilt JS file

sosy-lab · May 22, 2024 · fdca1f2 · fdca1f2
1 parent fca44d9
commit fdca1f2
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 17 deletions.
diff --git a/benchexec/tablegenerator/react-table/build/main.min.js b/benchexec/tablegenerator/react-table/build/main.min.js
diff --git a/benchexec/tablegenerator/react-table/build/vendors.min.js b/benchexec/tablegenerator/react-table/build/vendors.min.js
diff --git a/benchexec/tablegenerator/react-table/src/components/ReactTable.js b/benchexec/tablegenerator/react-table/src/components/ReactTable.js
@@ -641,21 +641,10 @@ const Table = (props) => {
 
   // get selected status and category values
   useEffect(() => {
-    // To check if any task filter is applied
-    let taskFilterExists = false;
-
-    for (const filter of props.filters) {
-      const { values, id } = filter;
-      if (id === "id" && !isNil(values)) {
-        taskFilterExists = true;
-        setDisableTaskText(true);
-      }
-    }
-
-    // Enable task text when task filter is not applied
-    if (!taskFilterExists) {
-      setDisableTaskText(false);
-    }
+    // To disable task text if any task filter is applied
+    setDisableTaskText(
+      props.filters.some(({ id, values }) => id === "id" && !isNil(values)),
+    );
 
     let newFilteredColumnValues = getNewFilteredColumnValues();
     if (!deepEqual(newFilteredColumnValues, filteredColumnValues)) {