1. 2004-06-24 Re: [ jEdit-users ] Buffer.isPerformingIO() jedit-use Slava Pestov 2. 2004-06-24 [ jEdit-users ] Buffer.isPerformingIO() jedit-use Dimitri Maziuk