Question for PrettyTables.jl users: Can we remove filters?

I’ve never used the filters. So its fine by me!

1 Like