Re: [ jEdit-users ] General JAVA font question ...

[Gregory L. M. <Gre...@ve...>]

On Tue, 29 May 2001 08:50:30 +0200 (MEST), Dirk Moebius wrote:

Thanks a bunch !!!
By the format of the BSH file it would appear you can define multiple fonts and then revise the different screen elements accordingly ...

Which I did, and it works GREAT !!! Horrid looking fonts is a curse of Java programs - IMO ...
Is the StartUp.bsh script specific to JEdit ???  Or can any Java program make use of a "generic" startup script ???

I've been messing about with Java since it was announced ...
(after all, that was a big selling point when OS/2 Warp 4 came out)

But I've never seen anything as GOOD and POLISHED as this editor - JEdit ...
It truly is wonderful ... a very nice example of what Java can really do ... From the way it runs under OS/2 it must have been designed and 
programmed as per the WORM spec ...

Thanks again ...
Greg

>Hi Greg,
>
>> Now ... how do I change the default font in general for Java 1.3
>> applications ???
>> It's funny ... when I have a file opened in a buffer it looks great ...
>> but the UI in general is using this horrid font ...
>> I think it's Arial but I'm not sure ... could be Helv for all I know ...
>> 
>> Anyway to change it ???
>
>Put the attached script in your macros folder, edit the script to change the
>font (in the line with FontUIResource, change "Dialog" to e.g. "Tahoma"),
>and restart jEdit.
>
>Dirk.
>
>-- 
>Machen Sie Ihr Hobby zu Geld bei unserem Partner 1&1!
>http://profiseller.de/info/index.php3?ac=OM.PS.PS003K00596T0409a
>
>--
>GMX - Die Kommunikationsplattform im Internet.
>http://www.gmx.net