Changed: bookmarks on split edit windows now synchronized.
Authored by: instructor_ 2024-06-27
Parent: [r4448]
Child: [r4450]