ediff-mouse-pixel-threshold
ediff-mouse-pixel-threshold is a variable defined in `ediff-wind.el'.
Its value is 30Documentation: If the user moves mouse more than this many pixels, Ediff won't warp mouse into control window.
ediff-wind.el'.
Its value is 30Documentation: If the user moves mouse more than this many pixels, Ediff won't warp mouse into control window.