Wheel Mouse Plugin

Table of Contents

General Information

This plugin uses JNI to receive wheel mouse events from the Windows OS. No special configuration is necessary to use this plugin. This plugin contains the appropriate Windows library needed for this plugin to function properly. You should use PluginManager to install the plugin.

If you receive an "unable to load MouseWheel.dll" error on jEdit startup, you can check the jEdit activity log for a WheelMouse plugin message which will show additional informations on the error. Please report these to one of jEdit's mailing lists:

• jEdit Users - jedit-users@lists.sourceforge.net
• jEdit Developers - jedit-devel@lists.sourceforge.net

If the provided Windows library does not function correctly, the C source, Java source, and build batch files are provided to rebuild the Plugin.

Change Log

Version 0.1

• Original (pre-CVS) release.

Version 0.2

• Supports all Window Components, internal or external to jEdit View. Library load change. Now require user to place dll in java.library.path.

Version 0.3

• Removed MSVCP60.DLL dependency which might have prevented Winnt users from using the plugin. (Written by Troy Noble)
• Modified native code to improve wheel mouse listener initialisation performance. (Written by Troy Noble)
• Add an option to enable/disable JScrollPane image backing store to prevent flashing. This used to be always enabled, however on some machines it is not necessary and can be a memory hog.
• Changed wheel mouse increment setting option from block increment (# of Pixels) to line increment (# of Lines). This should be more intuitive.

Version 0.4

• Fixed wheel mouse listener bug that could cause jEdit to crash if used against windows that are not reinstantiated (i.e. Infoviewer, JCompiler).
• Added history textfield scrolling functionality to wheel mouse.

Version 0.5

• Searches for MouseWheel library in jEdit's plugin install directory. (Dirk Möbius)
• Better startup: shows help page even if plugin coud not be initialized (Dirk Möbius)