I’m trying to implement save&restore functionality for the bookmarks to carry it over alongside editor contents across visits. I’m not even sure if bookmarks are the way to go, but anyway.
The output of
getAllMarks() doesn’t seem to include the location of the widget. How do I obtain that?
My purpose for going the bookmark route: I want to prepend each line with a timestamp at the time it was typed. I thought about gutters but those aren’t persistent, also customized the line numbers output but that gets updated each time the cursor traverses the line.
Thanks for steering me in the right direction.