dhb Succeeded at fixing the FIXME that gave me heartache. When an undocked

     window is closed, it will be visible on the top of the stack and the page
     selector item that represents it will become active.
     If a page selector item becomes active and the window is not docked, it
     will be raised to the front.