/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>
    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.