Merge branch '21249-group-paging' into main. Closes #21249
[arvados.git] / services / workbench2 / src / components / data-explorer / data-explorer.tsx
index 36ae5fd6ed61eec249863c0186b612a9721ea914..ba710bc783e9ca6368c5355d042a3930e677af8b 100644 (file)
@@ -96,7 +96,7 @@ interface DataExplorerDataProps<T> {
     elementPath?: string;
     isMSToolbarVisible: boolean;
     checkedList: TCheckedList;
-    isNotFound?: boolean;
+    isNotFound: boolean;
 }
 
 interface DataExplorerActionProps<T> {
@@ -284,7 +284,7 @@ export const DataExplorer = withStyles(styles)(
                                 setCheckedListOnStore={setCheckedListOnStore}
                                 checkedList={checkedList}
                                 working={working}
-                                isNotFound={this.props.isNotFound || false}
+                                isNotFound={this.props.isNotFound}
                             />
                         </Grid>
                         <Grid