PageRenderTime 66ms CodeModel.GetById 20ms RepoModel.GetById 0ms app.codeStats 0ms

/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
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0 
    

  1. <html><body>
    2. 

  2. If your mouse has a scroll wheel, you should install the <b>WheelMouse</b>
    3. 

  3. plugin. This plugin requires either JDK 1.4 running on any platform,
    4. 

  4. or JDK 1.2 (or later) running on Windows. Plugins can
    5. 

  5. be downloaded and installed from within jEdit using the plugin manager
    6. 

  6. (<b>Plugins</b>&gt;<b>Plugin Manager</b>).</body></html>
    7. 

  7.