Ensure position of source file is remembered even if it was closed before saving