Preserve document’s scroll offset when changing soft wrap or font

Technically we preserve which line is the first visible.

Fixes #993.