Java-> Anti-aliased fonts - (ex: Re: Virtual Machine -> jEdit) (Mariano F.co Benítez Mulet)

Stefan Grosz desti at mydesti.at
Fri Oct 8 15:03:16 UTC 2004


Hi!

Yep, the default fonts are ugly.
Open jEdit and go to Utilities -> Global Options -> Text Area.
There are settings for smooth text and the font wich is used.
I'm using Bitstream Vera Sans Mono.

Regards,
	Stefan


Am Freitag, den 08.10.2004, 14:46 +0200 schrieb "Mariano F.co Benítez
Mulet":
> Thank you, Stefan.
> Just to give it a try, I intalled BlackDown j2sdk1.3 and jEdit now opens 
> and works.
> However, I'm a bit disappointed about the horrible fonts it uses.
> 
> Is there a way to enable anti-aliased text in java applications? I was 
> so happy after fine-tuning my Gnome environment that it would be a shame 
> to use these horrible fonts used by java.
> 
> Thanks in advance to you and to anyone who could help me on this.
> 
> Cheers
> 
> Mariano
> 
> >Hi Mariano!
> >
> >Im using jEdit with ubuntu for php editing on my Powerbook.
> >My Virtual Machine is the IBM J2SDK 1.4.2 (IBMJava2-ppc-142).
> >
> >I think jEdit is the best editor out there (beside vi of course). It has
> >lots of useful Plugins (e.g. php syntax parser, code navigator, ...) and
> >for me, jEdit feels like it's faster and more responsible than bluefish.
> >
> >Regards,
> >	Stefan
> >
> >Am Freitag, den 08.10.2004, 12:52 +0200 schrieb "Mariano F.co Benítez
> >Mulet":
> >  
> >
> >>Hi folks.
> >>I'd like to know if any of you managed to make jedit work under Ubuntu.
> >>What Virtual Machine did you install?
> >>I've currently using BlueFish to edit my php files and I've been told 
> >>jEdit is a better option.
> >>
> >>What do you think?
> >>
> >>Thanks in advance to everybody
> >>
> >>Mariano F.co Benítez Mulet
> >>
> >>    
> >>
> 
-- 
Stefan Grosz <desti at mydesti.at>
Tel: +43 (650) 264 34 35
Fax: +43 (7243) 574 35

Jebenstein 17
4615 Holzhausen
austria





More information about the ubuntu-users mailing list