src/main/webapp/scripts/interface.js

   1
   2 var menu_shaded = false;
   3
   4 var shade_interval = null;
   5 var show_interval = null;
   6
   7 function shadeMenu() {
   8
   9     if (!menu_shaded) {
  10
  11         var step = Math.floor(menu.offsetHeight / 5) + 1;
  12         var offset = 0;
  13         menu_shaded = true;
  14
  15         window.clearInterval(show_interval);
  16         shade_interval = window.setInterval(function() {
  17
  18             offset -= step;
  19             menu.style.top = offset + "px";
  20
  21             if (offset <= -menu.offsetHeight) {
  22                 window.clearInterval(shade_interval);
  23                 menu.style.visiblity = "hidden";
  24             }
  25
  26         }, 30);
  27     }
  28
  29 }
  30
  31 function showMenu() {
  32
  33     if (menu_shaded) {
  34
  35         var step = Math.floor(menu.offsetHeight / 5) + 1;
  36         var offset = -menu.offsetHeight;
  37         menu_shaded = false;
  38         menu.style.visiblity = "";
  39
  40         window.clearInterval(shade_interval);
  41         show_interval = window.setInterval(function() {
  42
  43             offset += step;
  44
  45             if (offset >= 0) {
  46                 offset = 0;
  47                 window.clearInterval(show_interval);
  48             }
  49
  50             menu.style.top = offset + "px";
  51
  52         }, 30);
  53     }
  54
  55 }
  56