[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Mouse configuration options are stored in a file named `mouse.cfg'. The following keys are recognized:
MouseDriver.DoubleClickTime = <number>
MouseDriver.DoubleClickDist = <number>
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |