Moving lines loses bookmarks

Hi,

If I have a couple of lines of code with a bookmark on one of them, using the ALT+UP or ALT+DOWN to move non-bookmarked lines over a bookmarked line loses the bookmark.

For example:

document.write("<p>" + sampleString); // LINE 1 : Bookmarked
document.write(product(width, height)); // LINE 2 : No bookmark
document.write("</p>"); // LINE 3 : No bookmark

If there is a bookmark on that first line, I move the cursor to the second line and use ALT+UP to move the second line to the first line, the bookmark associated with the first line is lost - I would expect it to stay with that code which is now the second line.

document.write(product(width, height)); // LINE 2 now LINE 1 : No bookmark
document.write("<p>" + sampleString); // LINE 1 now LINE 2 : No bookmark
document.write("</p>"); // LINE 3 : No bookmark

However, in the same scenario I go onto the first line which has a bookmark, use the ALT+DOWN to move this line to the second line, the bookmark moves with the line as expected.

document.write(product(width, height)); // LINE 2 now LINE 1 : No bookmark
document.write("<p>" + sampleString); // LINE 1 now LINE 2 : Bookmarked
document.write("</p>"); // LINE 3 : No bookmark

Thanks

Gavin