Skip to content
Snippets Groups Projects
Commit fcf5ee04 authored by Simon Tatham's avatar Simon Tatham
Browse files

Store ids rather than indices in SavedFilePos::file_pos.

Now array indices into FileContents's vector never persist beyond the
lifetime of a FileContents. When we save the file position prior to
destroying a File and its contents, we save it in the form of a string
item id; when we restore later, we look up that string using the
index_before_id method I just factored out.
parent 571c18af
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment