Difference between revisions of "MediaWiki:Common.js"
From Geeetech Wiki
(Created page with "var div = document.getElementById("toc"); var toc_height = document.getElementById("toc").offsetHeight; var toc_to_top = document.getElementById("bodyContent").offsetTop; var...") |
|||
| Line 1: | Line 1: | ||
| − | + | if(document.getElementById("toc")){ | |
| − | var toc_height = document.getElementById("toc").offsetHeight; | + | var toc_height = document.getElementById("toc").offsetHeight; |
| − | var toc_to_top = document.getElementById("bodyContent").offsetTop; | + | var toc_to_top = document.getElementById("bodyContent").offsetTop; |
| − | var toc_scroll_top = toc_height + toc_to_top + 20; | + | var toc_scroll_top = toc_height + toc_to_top + 20; |
| − | + | window.onscroll = function() { | |
| − | window.onscroll = function() { | + | var scrollTop = document.documentElement.scrollTop || document.body.scrollTop; |
| − | + | if(scrollTop > toc_scroll_top){ | |
| − | + | document.getElementById('toc').style.position = 'fixed'; | |
| − | + | } else { | |
| − | + | document.getElementById('toc').style.position = ''; | |
| − | + | } | |
} | } | ||
} | } | ||
Latest revision as of 07:22, 13 September 2022
/usr/lib/python2.7/site-packages/pkg_resources/py2_warn.py:22: UserWarning: Setuptools will stop working on Python 2
************************************************************
You are running Setuptools on Python 2, which is no longer
supported and
>>> SETUPTOOLS WILL STOP WORKING <<<
in a subsequent release (no sooner than 2020-04-20).
Please ensure you are installing
Setuptools using pip 9.x or later or pin to `setuptools<45`
in your environment.
If you have done those things and are still encountering
this message, please comment in
https://github.com/pypa/setuptools/issues/1458
about the steps that led to this unsupported combination.
************************************************************
sys.version_info < (3,) and warnings.warn(pre + "*" * 60 + msg + "*" * 60)
if(document.getElementById("toc")){
var toc_height = document.getElementById("toc").offsetHeight;
var toc_to_top = document.getElementById("bodyContent").offsetTop;
var toc_scroll_top = toc_height + toc_to_top + 20;
window.onscroll = function() {
var scrollTop = document.documentElement.scrollTop || document.body.scrollTop;
if(scrollTop > toc_scroll_top){
document.getElementById('toc').style.position = 'fixed';
} else {
document.getElementById('toc').style.position = '';
}
}
}
