Changing fonts in java

From: John P Speno <speno_at_isc.upenn.edu>
Date: Fri, 12 Oct 2001 10:06:44 -0400

I'm feeling lazy today. Please do my thinking for me. Thanks!

So there's this application in java, it's run like so:

    java -jar /path/to/application.jar

And I'd like to use it, but the font it uses by default is
too big, and the application itself has no font controls.

What do I tweak to make the font smaller?

I'm using Tru64 UNIX 5.0A with this java:

    java version "1.3.0"
    Java(TM) 2 Runtime Environment, Standard Edition
    Classic VM (build 1.3.0-1, native threads, jit)
Received on Fri Oct 12 2001 - 14:07:51 NZDT