Difference between revisions of "MediaWiki:Common.js"
Jump to navigation
Jump to search
Line 52: | Line 52: | ||
Terminal.style.display = Terminal.style.display === 'block' ? 'none' : 'block'; | Terminal.style.display = Terminal.style.display === 'block' ? 'none' : 'block'; | ||
} | } | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Revision as of 13:41, 26 January 2022
/* Any JavaScript here will be loaded for all users on every page load. */
// Make the TOC draggable:
dragElement(document.getElementById("lessons"));
function dragElement(elmnt) {
var pos1 = 0, pos2 = 0, pos3 = 0, pos4 = 0;
if (document.getElementById(elmnt.id + "header")) {
// if present, the header is where you move the DIV from:
document.getElementById(elmnt.id + "header").onmousedown = dragMouseDown;
} else {
// otherwise, move the DIV from anywhere inside the DIV:
elmnt.onmousedown = dragMouseDown;
}
function dragMouseDown(e) {
e = e || window.event;
e.preventDefault();
// get the mouse cursor position at startup:
pos3 = e.clientX;
pos4 = e.clientY;
document.onmouseup = closeDragElement;
// call a function whenever the cursor moves:
document.onmousemove = elementDrag;
}
function elementDrag(e) {
e = e || window.event;
e.preventDefault();
// calculate the new cursor position:
pos1 = pos3 - e.clientX;
pos2 = pos4 - e.clientY;
pos3 = e.clientX;
pos4 = e.clientY;
// set the element's new position:
elmnt.style.top = (elmnt.offsetTop - pos2) + "px";
elmnt.style.left = (elmnt.offsetLeft - pos1) + "px";
}
function closeDragElement() {
// stop moving when mouse button is released:
document.onmouseup = null;
document.onmousemove = null;
}
}
// TERMINAL ON FRONT PAGE
function HideTerminal() {
const Terminal = document.querySelector('#Terminal');
Terminal.style.display = Terminal.style.display === 'block' ? 'none' : 'block';
}