Another attempt to improve SourceEditor auto-scrolling when stepping, but still no perfect