web/menu.js

   1    var g_menu_tree = null;
   2    var g_menu_ct   = 0;
   3    var g_menu_st   = 0;
   4    var g_menu_cb   = null;
   5
   6    function menu_init() {
   7      g_menu_tree  = new Array(null, null, null);
   8
   9      g_menu_tree[0] = new Array();
  10      g_menu_tree[0][0] = $('menu_webstart');
  11      g_menu_tree[1] = new Array();
  12      g_menu_tree[1][0] = $('menu_raduni');
  13    }
  14
  15    function menu_show(id) {
  16      $(id).style.visibility = 'visible';
  17    }
  18
  19    function menu_over(over,obj) {
  20      g_menu_ct += over;
  21      g_menu_st ++;
  22
  23
  24      if (over < 0) {
  25        g_menu_cb = setTimeout(menu_hide, 0, g_menu_st, 0);
  26      }
  27      else {
  28        if (g_menu_cb != null) {
  29          clearTimeout(g_menu_cb);
  30          g_menu_cb = null;
  31        }
  32      }
  33    }
  34
  35
  36 function menu_hide(st,lev) {
  37     if (st == g_menu_st || lev > 0) {
  38         for (e = lev ; e < g_menu_tree.length ; e++) {
  39             if (g_menu_tree[e] != null) {
  40                 for (i = 0 ; i < g_menu_tree[e].length ; i++) {
  41                     if (g_menu_tree[e][i] != null) {
  42                         g_menu_tree[e][i].style.visibility = "hidden";
  43                     }
  44                 }
  45             }
  46         }
  47         if (st == g_menu_st && lev == 0) {
  48             g_menu_ct   = 0;
  49             g_menu_st   = 0;
  50         }
  51     }
  52 }
  53