Hello Everyone-

I was finally able to reproduce the problem on my machine -- sorrry it took us so long. I also identified the culprit that made everything break in the code, and I should have it fixed with the next release.

Just to quickly note -- it's unfortunately not quite as simple as just making the options screen bigger, as there are fonts of many different sizes that would still not work with the larger options screen. So, it really does have to be sized dynamically according to the font size.

Thanks, and sorry again for the frunstration with this.