From 00d3069efd80cd7ce5655bdf37d50200cd07921f Mon Sep 17 00:00:00 2001
From: dklimpel <5740567+dklimpel@users.noreply.github.com>
Date: Sun, 29 Mar 2020 16:05:54 +0200
Subject: [PATCH] Add filter to users list

---
 src/components/users.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/components/users.js b/src/components/users.js
index 432d905..608f515 100644
--- a/src/components/users.js
+++ b/src/components/users.js
@@ -14,10 +14,12 @@ import {
   TextInput,
   ReferenceField,
   regex,
+  SearchInput,
 } from "react-admin";
 
 const UserFilter = props => (
   <Filter {...props}>
+    <SearchInput source="user_id" alwaysOn />
     <BooleanInput source="guests" alwaysOn />
     <BooleanInput
       label="resources.users.fields.show_deactivated"