I've been using Linux Mint for years, and just now discovered I can resize the start menu by simply hovering the mouse over the edges, like with a window. #linux #linuxmint #cinnamon