Since the window is now closed immediately after disconnect in messages.js, we don't need to close it in menu.js. This was SVN commit r17323.