1. 2002-12-24 RE: [ jEdit-users ] scroll wheel settings jedit-use Dominic Stolerman 2. 2002-12-24 Re: [ jEdit-users ] scroll wheel settings jedit-use Slava Pestov 3. 2002-12-23 [ jEdit-users ] scroll wheel settings jedit-use Chris Petersen