Re: how to change MENU font size in JDeveloper 9i?

From: Ladislav Ligart <ligart_at_yahoo.com>
Date: 12 Apr 2002 12:06:04 -0700
Message-ID: <ed51c2ec.0204121106.2f15789f_at_posting.google.com>

For anyone who cares, you can change the system font size by editing the ide.properties file located in the jdev/system folder. You can change it on a global, per language, or per look-and-feel basis (there's lots of comments in the file itself). Received on Fri Apr 12 2002 - 21:06:04 CEST

This message: [ Message body ]
Next message: Alex Filonov: "Re: create index nologging does not improve performance"
Previous message: Mike F: "create index nologging does not improve performance"
In reply to: Ladislav Ligart: "how to change MENU font size in JDeveloper 9i?"
Next in thread: Scott Mattes: "Re: Oracle 8i"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]

Original text of this message