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