mozilla/kuma — pull request #1461 by cronco (2013-10-05 00:03:29+00:00)
Title: Fix bug 923631 - Faster moz menu

IMHO, the delay for the pop-up menu appearance is misleadingly long.

Would fix https://bugzilla.mozilla.org/show_bug.cgi?id=923631