Re: print java code wit Jdeveloper with smaller font
From: (wrong string) ürgen Köhler <koehler_at_in-hackenbroich.de>
Date: Thu, 23 Jan 2003 21:05:04 +0100
Message-ID: <b0pi18$lfv$05$1_at_news.t-online.com>
Date: Thu, 23 Jan 2003 21:05:04 +0100
Message-ID: <b0pi18$lfv$05$1_at_news.t-online.com>
Hey NG,
no answers ?
How do you print your java source with syntax highlightening in a compact
manner ?
Thankx
Jürgen
"JKO" <koehler_at_in-hackenbroich.de> schrieb im Newsbeitrag
news: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 Thu Jan 23 2003 - 21:05:04 CET