print java code wit Jdeveloper with smaller font

From: JKO <koehler_at_in-hackenbroich.de>
Date: Tue, 14 Jan 2003 09:57:47 +0100
Message-ID: <b00jed$7vv$07$1_at_news.t-online.com>



Hi all,
I'm looking for a solution to print my source code from the jdeveloper IDE with a smaller font ( 7 pt ). In the properties are only 10 and 12 pt availabe.

Does somebody know how to select another font and size in jdeveloper ?

Thanks
Jürgen Received on Tue Jan 14 2003 - 09:57:47 CET

Original text of this message