IDEA-130532 Bookmarks: merging lines with Delete or Backspace keys joins several bookmarks on the same line