Zoom

ugh
2005-03-07
2013-05-28
  • ugh
    ugh
    2005-03-07

    Hallo,
    first: thanks for your great tool! It's great for Java Source code.

    Idea:
    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 0.9.0.8.