jEdit in Ubuntu - is something wrong?
rcm at swimbarrow.co.uk
Fri Feb 29 09:35:18 UTC 2008
On Friday 29 February 2008 05:16:49 Philippe Didier wrote:
> I am using Jedit for many years, on Fedora then Ubuntu 7.10, with no
> "headache" problem and the font is quite perfect. I am a PHP programmer
> and the rendering and colors are really good and I see no difference
> with other text editor.
> So I really don't understand what you mean by "bad font rendering". Is
> this happen only with Jedit ? Dis you check the font in the Glogal Options
> By the way I am using Jedit 4.3.pre12 on Java 1.6.0.03 (check the About
> of Jedit)....maybe a Java problem...
Ah - cracked it!
I went into Utilities/Global Options/Text Area and clicked Smooth Text - that
does the trick and I can live with the result. Thank you.
Incidentally, I tried changing from Sun Java-6 to IcedTea-7 and that didn't
make any difference but the inner anarchist decided to stick with IcedTea
Currently Reading McEWAN, IAN: Amsterdam
The Book of Enitharmon: http://swanofkennet.livejournal.com
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 189 bytes
Desc: This is a digitally signed message part.
More information about the ubuntu-users