Add column-specific filtering to `gr.Dataframe` (#11392)
* feat: add filter button to Dataframe's header menu (UI only)
- Set up base structure for column filtering
- Added icon for filter button
- Added "filter" label to language JSONs (en, pt-BR, pt)
Refs #10885
* feat: add filter menu two Dataframes option (UI only)
- Added a filter submenu with options for selecting 2 different
data types
- Included a dropdown with common filter options
- Added a text input box for custom filtering purposes.
* feat: implement column filtering logic for gr.Dataframe
- Add filtering utilities for updating table data
- Add multiple string and number operators
- Update dataframe context and logic to integrate filtering
- Integrate filtering with cell and filter menu UI
- Add icon and language labels (en, pt-BR, pt)
* fix: prevent incorrect column resizing when filters are applied
- Skip set_cell_widths when a column filter is active
* add changeset
* Fix: Match buttons height to input field in FilterMenu
* Fix: Added aria-label to buttons in FilterMenu
* Fix: filter menu positioning and background overlay
- Positioned filter menu in the center of the viewport
- Added darkened background overlay when menu is open
* Fix: Added filter icon on filtered columns
* Fix: Bug on submitting filtered data
* lint
---------
Co-authored-by: Rafael Ferreira <rafael.franco.ferreira@tecnico.ulisboa.pt>
Co-authored-by: gradio-pr-bot <gradio-pr-bot@users.noreply.github.com>
Co-authored-by: Hannah <hannahblair@users.noreply.github.com>
Co-authored-by: Abubakar Abid <abubakar@huggingface.co>
