Update '12/dragable.js'

master
Max Lehmann 4 years ago
parent 5fb18bf121
commit 4730d4b271

@ -1,5 +1,5 @@
// Make the DIV element draggable:
dragElement(document.getElementById("shell_03header"));
dragElement(document.getElementById("shell_03"));
function dragElement(elmnt) {
var pos1 = 0, pos2 = 0, pos3 = 0, pos4 = 0;

Loading…
Cancel
Save