I noticed something strange with bookmarks in one of my program windows. I don't know how I didn't notice this before today.

When I have some bookmarks set, then I select some lines and either indent or unindent:

  • The bookmark icon becomes 2 or 3 marks
  • The bookmark cannot be deleted (it still displays and you can jump to it).

Please see attached Screenshots of issue showing before, after unindent, after indent.

I'm hoping Marco can recreate it, if only to show that I'm not losing my mind!

PL/SQL Developer 64-bit, v15.0.2.2054
On Windows 10

All the best!


Stew

"That's not a bug, it's a feature?"