Difference between revisions of "MediaWiki:Common.js"

From Interaction Station Wiki
Jump to navigation Jump to search
Line 5: Line 5:
 
const Terminal = document.querySelector('.Terminal');
 
const Terminal = document.querySelector('.Terminal');
 
   Terminal.style.display = Terminal.style.display === 'block' ? 'none' : 'block';
 
   Terminal.style.display = Terminal.style.display === 'block' ? 'none' : 'block';
−
}
 
−
 
−
// DRAG ELEMENTS BY ID
 
−
 
−
// Make the TOC draggable:
 
−
 
−
dragElement(document.getElementById("terminal"));
 
−
 
−
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;
 
−
  }
 
 
}
 
}

Revision as of 19:29, 11 December 2021

/* Any JavaScript here will be loaded for all users on every page load. */


function HideTerminal() {
const Terminal = document.querySelector('.Terminal');
  Terminal.style.display = Terminal.style.display === 'block' ? 'none' : 'block';
}
Retrieved from "http://interactionstation.wdka.hro.nl/mediawiki/index.php?title=MediaWiki:Common.js&oldid=7203"