1. 2001-11-29 Re: [ jEdit-devel ] WheelMouse merge ? jedit-dev Slava Pestov 2. 2001-11-29 [ jEdit-devel ] WheelMouse merge ? jedit-dev Philip Mateescu