If your mouse has a scroll wheel, you should install the WheelMouse
plugin. This plugin requires either JDK 1.4 running on any platform,
or JDK 1.2 (or later) running on Windows. Plugins can
be downloaded and installed from within jEdit using the plugin manager
(Plugins>Plugin Manager).