make selection edge auto-scrolling work for higher DPI settings (fixes issue 2595)