This repository was archived by the owner on Dec 15, 2022. It is now read-only.

Description
How to reproduce:
- Open a buffer from project
- Set a bookmark
- Close buffer, open it again
- The bookmark is gone
After looking at the code: it seems the serialization mechanism is based on TextEditor.id; but this value now changes when a buffer is closed/reopened. The serialization should be linked to a more permanent attribute of buffers. Long name, maybe? Though it poses a problem with untitled buffers and problems with renaming/moving/etc...