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