PageRenderTime 140ms CodeModel.GetById 138ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-pre3/org/gjt/sp/jedit/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>&gt;<b>Plugin Manager</b>).</body></html>