[ jEdit-users ] AntiAlias plugin

[Slava P. <sp...@gj...>]

Hello everybody,

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

Slava