Simple preference to control the facet width

[antoine2711]

Is your feature request related to a problem or area of OpenRefine? Please describe.
I want to be able to change the width of the facet panel (left one).
ui.toolPanelWidth=300 or ui.toolPanelWidth=500, at the user’s will.
Changed to ui.facetsHistoryPanelWidth.

Describe the solution you'd like
A simple preference that controls the width of the panel.

Describe alternatives you've considered
Go into the console and play with JS.

Screens shapshots

Regards,
Antoine

[thadguidry]

@antoine2711 What does it look like if you click on the blue change link in the top right of the facet? Does the expression display also stretch horizontally with the facet?

[antoine2711]

@antoine2711 What does it look like if you click on the blue change link in the top right of the facet? Does the expression display also stretch horizontally with the facet?

Yes @thadguidry. It is always full width.

Regards,
Antoine