Go to the source code of this file.
window addEventListener |
( |
"unload" |
, |
|
|
mousewheel_volume. |
onUnload, |
|
|
false |
|
|
) |
| |
mousewheel_volume deinit_once = 0 |
mousewheel_volume init_once = 0 |
Initial value:= function()
{
if (mousewheel_volume.init_once++) { dump("WARNING: mousewheel_volume double init!!\n"); return; }
window.addEventListener(
"DOMMouseScroll", mousewheel_volume.onDOMMouseScroll,
false);
}
mousewheel_volume.onUnload = function()
{
if (mousewheel_volume.deinit_once++) { dump("WARNING: mousewheel_volume double deinit!!\n"); return; }
window.removeEventListener(
"DOMMouseScroll", mousewheel_volume.onDOMMouseScroll,
false);
window.removeEventListener(
"load", mousewheel_volume.onLoad,
false);
window.removeEventListener(
"unload", mousewheel_volume.onUnload,
false);
}
window.addEventListener(
"load", mousewheel_volume.onLoad,
false)
Definition at line 38 of file mouseWheelVolume.js.