• ugh

    ugh - 2005-03-07

    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)

    • Robert Futrell

      Robert Futrell - 2005-03-09

      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.

    • ugh

      ugh - 2005-03-10


    • Robert Futrell

      Robert Futrell - 2005-03-16

      This has been added in


Log in to post a comment.