Does pandasgui have a text filter function?

As simple like [This](https://www.w3schools.com/jquery/jquery_filters.asp).

I just want a simple filter function that displays the results instantly as I type, is there a way?

my code

```
import pandas as pd
from pandasgui import show
df = pd.DataFrame({'a':[1,2,3], 'b':[4,5,6], 'c':[7,8,9]})
show(df)
```

Thanks all.