Difference between revisions of "MediaWiki:Common.js"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
/* Any JavaScript here will be loaded for all users on every page load. */ | /* Any JavaScript here will be loaded for all users on every page load. */ | ||
+ | // Make the TOC draggable: | ||
+ | |||
+ | dragElement(document.getElementById("toc")); | ||
+ | |||
+ | 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() { | function HideTerminal() { |
Revision as of 16:20, 24 January 2022
/* Any JavaScript here will be loaded for all users on every page load. */
// Make the TOC draggable:
dragElement(document.getElementById("toc"));
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';
}