fixes menu button

Former-commit-id: 156300372a Former-commit-id: a597500326
12 years ago · 4510e47695
1 changed files with 1 additions and 1 deletions
--- a/node/src/files/javascript/semantic.js
+++ b/node/src/files/javascript/semantic.js
@ -144,7 +144,7 @@ semantic.ready = function() {
        ;
      },
      mouseleave: function() {
        $menu.hide();
        $menu.find('.text').hide();
        $menu
          .stop()
          .animate({