Idea related to the Panel width

Subpath

As it is by now, we move the Panel with the Mouse
to change the Panel width

I thought it would be nice if double-clicking (left mouse button)
on the right panel edge would set a panel width to the minimum
width again

and if a panel has the minimum width
a double click on the right panel side
was able to change the panel to its previous width

VectorStyler

@Subpath I added this to the backlog