function dmWindowClosedListener() {
aWin.removeEventListener("unload", dmWindowClosedListener, false);
isnot(content.document.documentElement.id, "mandelbrot-page",
function dmWindowClosedListener() {
aWin.removeEventListener("unload", dmWindowClosedListener, false);
isnot(content.document.documentElement.id, "mandelbrot-page",