aaxu

Also, upon some more testing, I found that if you create a bookmark and then 'move' a bookmark by deleting a line before it, jumping to next bookmark (F2) will...

Yes I was thinking of that as well. Something along the following lines for single-line bookmarks: * If newline at beginning of bookmark, shift entire bookmark down * if newline...

I think the bug is caused by bookmarkData not being changed. Even though you are changing the bookmark position, the bookmarkData still contains old positions. These positions are used to...

Extending bookmarks in general seems to only serve as a visual indicator. I don't see it as having any other functionality that's different from if we didn't extend the bookmark....

And yes, we would need to update the data of the bookmarks if we 'move' them regardless of whether they are single-line or multilined.

Oh yes, you're right. We would need to discuss how to handle these cases. I did consider using positional markers before, but then we'd have to adjust bookmarks for every...

I was still under the impression that bookmarks was for #2 as well. It's just that sometimes I tend to jump between multiple sections and it would be something like...

I was thinking that we could just check if `self.redoIndex != len(self.redoChain)` and if so, we do not merge changes. However, our implementation truncates the chain when we add a...

I found a different issue that actually stems from this problem. Lets say you save after typing some string of characters, save, and exit. Open up the file again and...

Also, what do you think making the incorrect words a darker red with a white background or something. I find that the bright red background sometimes hurts my eyes and...