Also, can anyone refresh my mind how bookmarks[0] is used? The attached patch, in the order of changes:
http://marc.theaimsgroup.com/?l=lyx-devel&m=114309641318558&w=2 says: 1) To save the main document position to return to when opening a child 2) To save the return (ref) position when jumping to a label. I do not really like this misuse of bookmarks, but an updated patch will retain this usage. Bo
