Description

The AntiAlias plugin enables anti-aliased fonts in the jEdit text area.

After installation, there is a new menu entry named "Anti-Aliased Font" in menu "Plugins". Use it to toggle between anti-aliased and normal font.

(Remark: the corresponding action for this menu entry is toggle-antialias.)

Configuration

The plugin installs a new option pane named "Anti-Aliasing" in the Global Options Dialog (menu Utilities -> Global Options -> Plugin Options). It has the following options:

• Enable anti-aliasing for jEdit's text area
  If checked, all text areas use an anti-aliased font.
• Use fractional font metrics
  Some VM implementations have problems with cursor positioning on anti-aliased fonts. Another possible cause are faulty TrueType fonts. Play around with this option if these problems occur to you.

Credits

Code for enabling anti-aliased fonts kindly provided by Sergey V. Udaltsov (sergey.oudaltsov@clients.ie).

Change Log

Version 1.1

• New menu item "Plugins->Anti-Aliased Font" for toggling AA. The corresponding action is named "toggle-antialias".
• New plugin option pane
• Requires jEdit 3.0 or higher and JDK 1.2 or higher.

Version 1.0

• Initial release.
• Requires jEdit 3.0 or higher and JDK 1.2 or higher.