Re: [ jEdit-users ] AntiAlias plugin

[Reinout v. S. <re...@cs...>]

On Tue, 6 Mar 2001, Slava Pestov wrote:

> Should the AntiAlias plugin be included in the jEdit download by default?
> It will be an optional install, like the Firewall plugin.

It's only 12k, and I think it could give jEdit an extra 'edge'. However
the question is how many of those 'optional install' plugins you want to
have in the installer. The installation options overview should not become
too crowded with nice-to-have plugins.

-- 

Reinout van Schouwen
e-mail    : re...@cs...
voicemail : 020-8750706