MarkMenuButton: discriminate gametypes internally

improves consistency and eases improvements
MarkMenuButton: renamed parameter for clarity
EventMgr::MouseDown: avoid a crash

guima has a window closer bound to doubleclick, which closed more
than it should