deleting and adding the same line doesn't remove edited marker #31

New issue

Open

opened 2022-10-31 02:58:15 +01:00 by Catz-uwu · 0 comments

Catz-uwu commented

2022-10-31 02:58:15 +01:00

(Migrated from github.com)

i deleted this line, then put it back. the edited marker wasn't removed. this isn't the case with other lines though, not sure why this one is special

i deleted this line, then put it back. the edited marker wasn't removed. this isn't the case with other lines though, not sure why this one is special ![image](https://user-images.githubusercontent.com/65136376/198915792-17c9f257-25b8-4fa5-a260-d87db47029ec.png)