|
From: Manfred U. <uss...@ic...> - 2001-03-06 13:13:00
|
On Mon, Mar 05, 2001 at 08:19:33PM -0800, Todd Papaioannou wrote: > > --On Tuesday, March 06, 2001 2:54 PM +1100 Slava Pestov <sp...@gj...> wrote: > > > Should the AntiAlias plugin be included in the jEdit download by default? > > It will be an optional install, like the Firewall plugin. > > I'm not sure. I actually uninstalled it from my windows laptop because it > made the text look worse. However, I do use it on my linux box and it > makes things look better. > > If it's only _really_ useful for *nix users then I think it should be kept > at PC. If however everyone is finding it neat then no reason not to > include it. > > What are other windows users experiences? > It depends very much on the font. With some fonts it was unusable because the cursor positioning was no longer correct, even after playing around with 'Use fractional font metrics'. I seem to have more problems with italic styles. If it will be included it should be disabled by default. Manfred -- Manfred Usselmann uss...@ic... |