Ahhhhh . . .
I have code in my mnl file to catch and refresh floating forms, and the onDocActivated event is now working - I think I can finally take most of the refresh buttons off my forms!
13 indeed seems to be a lucky number: everything seems to be working fine.
Thanks for your help in confirming the problem. Your work with opendcl has proved invaluable.