jEdit Plugin for Apple macOS Version 1.5
By Seph M. Soliman, Alan Ezust, Makarius
$Date$

Provides various features for Apple macOS: