[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

This document was generated using texi2html