Hi Burr,

> Suddenly the option box has mucho roomo.

Yeah it used to be fixed to a hard coded pixel size on startup. That could be too small if you were on a higher resolution display and had some larger font sizes for the UI text size.

Now it should hopefully adapt better to your font size.

- Michael