PageRenderTime 35ms CodeModel.GetById 16ms 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
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.