Does pandasgui have a text filter function?

[aboutjquery]

As simple like This.

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.