Bookmark cannot be set again when previously removed in text change processing

Issue #17 new
Daniel Frömmel repo owner created an issue

Cannot reproduce it in all cases yet, still researching for the cause.

Comments (1)

  1. Daniel Frömmel reporter

    It seems that bookmark symbol is just not visible as jump functionality still works.

  2. Log in to comment