Idea related to the Panel width
-
As it is by now, we move the Panel with the Mouse
to change the Panel widthI 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 againand 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
-
@Subpath I added this to the backlog
