improve column selection in data tables

[Light2Dark]

Description

This is a pretty cool feature that's useful for data analysis and investigation. I use DataGrip so I miss this feature in marimo. It also exists in Excel/Google sheets but isn't as convenient (multiple clicks) to use.

DataGrip

https://www.jetbrains.com/help/datagrip/tables-filter.html#use_the_local_filter

Google sheets

Suggested solution

Likely need to add more backend functions to perform this search and call them from the frontend. Also need to keep in mind multi column selection.

I think we could simplify the filtering, allow search & selection here.

Alternative

No response

Additional context

may need to set a limit for large tables / prevent long computation.

[aszenz]

In technical terms this is called a set filter, commonly used for text columns. Would be cool to have it in Marimo.

To calculate it, an index is needed which is just getting the top 100 values

select 
 txt_col,
 count(*) as cnt
from dataframe
group by txt_col
order by cnt desc
limit 100