Ability to resize Facet/Filter section of window

[jquartel]

trafficstars

I notice that the 3.9 beta1 version has columns that can be resized (though I'm finding this pretty buggy, especially in Safari). This is good but the one section that I'd really like to be able to resize is the Facet/Filter side bar. In many of the projects I work on, the 'choices' in the facets are actually my main result, so it would be great to be able to make this section a little wider when values are long and wrapping.

[thadguidry]

I also think #5618 has some consideration in the implementation of this feature. For example:

• Do we place minimum limits on the left panel div size or not?
• How do we handle text wrapping or just void the text completely if it can't fit within each span or div element?

[jquartel]

In fact I notice that wrapping only occurs if a result contains white space. If the result(s) are long with no white space then there is a horizontal scroll bar at the bottom of the facet window allowing one to check out what's hidden on the right.

[antoine2711]

Just a note here, but with preferences, it's already possible to resize the facet/history panel: https://openrefine.org/docs/manual/running#preferences

Width of the panel for facets/history: ui.browsing.facetsHistoryPanelWidth

Regards, Antoine

[jquartel]

Oh that is interesting, thank you Antoine!