first: thanks for your great tool! It's great for Java Source code.
Could you insert a button/option, which makes every font size bigger/smaller (like zoom).
It's very difficult to change every font in the menu.
(I need this, because sometimes I need to show thomething with a beamer - then you need to change the font size easily)
It shouldn't be a problem to add buttons to "zoom in and out" of the text area (by simply incrementing or decrementing all font sizes by one pt.). I should be able to do this in the next couple of releases. A very good idea.
I'm making a "Feature Request" to formally track this item.
This has been added in 0.9.0.8.