Not sure how I managed to do it.
It was like I clicked options & in the midst of the window opening, I started dragging the scroll bar down, & it looked to interactively resize. (The window itself is not resizeable. This was with a clean Profile, had just installed NoScript & restarted.)
No big deal.
Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.1.19) Gecko/20110420 SeaMonkey/2.0.14 Pinball NoScript FlashGot AdblockPlus
Mozilla/5.0 (Windows NT 5.1; rv:5.0) Gecko/20110706 Firefox/5.0 SeaMonkey/2.2