<script type="text/javascript" src="guacamole-common-js/tunnel.js"></script>
<script type="text/javascript" src="guacamole-common-js/guacamole.js"></script>
<script type="text/javascript" src="guacamole-common-js/oskeyboard.js"></script>
+ <script type="text/javascript" src="scripts/interface.js"></script>
<!-- Init -->
<script type="text/javascript"> /* <![CDATA[ */
display.className = display.className.replace(/guac-loading/, '');
menu.className = "connected";
state.textContent = "Connected.";
+ shadeMenu();
break;
case 4:
state.textContent = "Disconnecting...";
// TODO: Handle exception ...
}
- var menu_shaded = false;
-
- var hide_interval = null;
- var show_interval = null;
-
- function hideMenu() {
-
- if (!menu_shaded) {
-
- var step = Math.floor(menu.offsetHeight / 5) + 1;
- var offset = 0;
- menu_shaded = true;
-
- window.clearInterval(show_interval);
- hide_interval = window.setInterval(function() {
-
- offset -= step;
- menu.style.top = offset + "px";
-
- if (offset <= -menu.offsetHeight) {
- window.clearInterval(hide_interval);
- menu.style.visiblity = "hidden";
- }
-
- }, 30);
- }
-
- }
-
- function showMenu() {
-
- if (menu_shaded) {
-
- var step = Math.floor(menu.offsetHeight / 5) + 1;
- var offset = -menu.offsetHeight;
- menu_shaded = false;
- menu.style.visiblity = "";
-
- window.clearInterval(hide_interval);
- show_interval = window.setInterval(function() {
-
- offset += step;
-
- if (offset >= 0) {
- offset = 0;
- window.clearInterval(show_interval);
- }
-
- menu.style.top = offset + "px";
-
- }, 30);
- }
-
- }
-
display.onmouseout = function() {
showMenu();
};
display.onmouseover = function() {
- hideMenu();
+ shadeMenu();
};
--- /dev/null
+
+var menu_shaded = false;
+
+var shade_interval = null;
+var show_interval = null;
+
+function shadeMenu() {
+
+ if (!menu_shaded) {
+
+ var step = Math.floor(menu.offsetHeight / 5) + 1;
+ var offset = 0;
+ menu_shaded = true;
+
+ window.clearInterval(show_interval);
+ shade_interval = window.setInterval(function() {
+
+ offset -= step;
+ menu.style.top = offset + "px";
+
+ if (offset <= -menu.offsetHeight) {
+ window.clearInterval(shade_interval);
+ menu.style.visiblity = "hidden";
+ }
+
+ }, 30);
+ }
+
+}
+
+function showMenu() {
+
+ if (menu_shaded) {
+
+ var step = Math.floor(menu.offsetHeight / 5) + 1;
+ var offset = -menu.offsetHeight;
+ menu_shaded = false;
+ menu.style.visiblity = "";
+
+ window.clearInterval(shade_interval);
+ show_interval = window.setInterval(function() {
+
+ offset += step;
+
+ if (offset >= 0) {
+ offset = 0;
+ window.clearInterval(show_interval);
+ }
+
+ menu.style.top = offset + "px";
+
+ }, 30);
+ }
+
+}
+