Make panel width manually draggable horizontally

Related: Panel handling improvements: "Minimize" and "Pin" panels

3 Likes