4.5.4.6 Mouse Configuration

Mouse configuration options are stored in a file named `mouse.cfg'. The following keys are recognized:

MouseDriver.DoubleClickTime = <number>

This is the maximum of time (given in milliseconds) which may pass between two mouse clicks to recognize a double-click. Default is 300.

MouseDriver.DoubleClickDist = <number>

The maximal distance (given in pixels) that the mouse can move between clicks for double click to occur. Default is 2.

This document was generated using texi2html 1.76.