/jEdit/tags/jedit-4-0-pre5/doc/tips/tip51.html
HTML | 6 lines | 6 code | 0 blank | 0 comment | 0 complexity | 3f42cf4f60306693ab8318f42a3a8b93 MD5 | raw file
1<html><body> 2If your mouse has a scroll wheel, you should install the <b>WheelMouse</b> 3plugin. This plugin requires either JDK 1.4 running on any platform, 4or JDK 1.2 (or later) running on Windows. Plugins can 5be downloaded and installed from within jEdit using the plugin manager 6(<b>Plugins</b>><b>Plugin Manager</b>).</body></html>