Closed arnaudmiribel closed 1 year ago
This PR adds a case parameter to our dataframe_explorer extra, so that whenever a filter is a text_input, it can optionally be case insensitive! Was needed in one of our apps the other day.
case
dataframe_explorer
Closes #99
This PR adds a
case
parameter to ourdataframe_explorer
extra, so that whenever a filter is a text_input, it can optionally be case insensitive! Was needed in one of our apps the other day.Closes #99