465     //window.setTimeout(() => location.reload(true), 10000);

   465     //window.setTimeout(() => location.reload(true), 10000);

   466     alert("Connection closed. code:"+evt.code+" reason:"+evt.reason+" wasClean:"+evt.wasClean+".");

   466     alert("Connection closed. code:"+evt.code+" reason:"+evt.reason+" wasClean:"+evt.wasClean+".");

   467 

   467 

   468 };

   468 };

   469 

   469 

   470 var edit_callback;

   471 var edit_callback;

   471 function edit_value(path, valuetype, callback, initial) {

   472 function edit_value(path, valuetype, callback, initial) {

   472 

   473 

   473     let [keypadid, xcoord, ycoord] = keypads[valuetype];

   474     let [keypadid, xcoord, ycoord] = keypads[valuetype];

   474     console.log('XXX TODO : Edit value', path, valuetype, callback, initial, keypadid);

   475     console.log('XXX TODO : Edit value', path, valuetype, callback, initial, keypadid);

   475     edit_callback = callback;

   476     edit_callback = callback;

   476 

   477 

   477     let [element, parent] = detachable_elements[keypadid];

   478     let [element, parent] = detachable_elements[keypadid];

   479     tmpgrpattr = document.createAttribute("transform");

   480     tmpgrpattr = document.createAttribute("transform");

   480 

   481 

   481     let [xdest,ydest] = page_desc[current_visible_page].bbox;

   482     let [xdest,ydest] = page_desc[current_visible_page].bbox;

   482     tmpgrpattr.value = "translate("+String(xdest-xcoord)+","+String(ydest-ycoord)+")";

   483     tmpgrpattr.value = "translate("+String(xdest-xcoord)+","+String(ydest-ycoord)+")";

   483     tmpgrp.setAttributeNode(tmpgrpattr);

   484     tmpgrp.setAttributeNode(tmpgrpattr);