nick29581/dxr — pull request #1 by nick29581 (2013-09-12 01:02:26+00:00)
Title: Hide the popup menu when the user follows a link

I find it annoying when I follow a link from the popup menu, then hit back and the menu is still displayed. That is not the usual behaviour for menus. This one line patch fixes that.

Note that adding a listener on window for the beforeunload event does not work because the followed link might be on the same page. Using an onclick property on the link is a bit old school, but it doesn't seem worth the effort to add an id, getElementById and then add an event listener for click in this case.