On 3/5/2013 12:38, Justin Stressman wrote:
First, MouseHoverHeight and MouseHoverWidth
I'd prefer a simple MouseJitter, 4px may be too small with today's high-DPI mice and screens. It should probably scale with screen resolution...
I, actually, would prefer for them to be even faster... configurability (via whatever means) is desirable...
--The loon