Fix: restore previous scrolled position after switching back to a file