「MediaWiki:Common.js」の版間の差分
提供: whvm
| 7行目: | 7行目: | ||
} | } | ||
timer = setTimeout(function () { | timer = setTimeout(function () { | ||
| − | var result = document.body.getTopPosition | + | var result = document.body.getTopPosition; |
console.log(result); //ここに処理の内容が入る | console.log(result); //ここに処理の内容が入る | ||
}, 200); | }, 200); | ||
}; | }; | ||
2017年9月22日 (金) 00:30時点における版
/* ここにあるすべてのJavaScriptは、すべてのページ読み込みですべての利用者に対して読み込まれます */
var timer = 0;
window.onresize = function () {
if (timer > 0) {
clearTimeout(timer);
}
timer = setTimeout(function () {
var result = document.body.getTopPosition;
console.log(result); //ここに処理の内容が入る
}, 200);
};
