[fleche] Preserve view hint across document changes.

[ejgallego]

This way we get continuous checking mode when the view-port heuristic is enabled.