" html_download = html_download.format(payload=payload,title='Télécharger le SVG : clic droit + \"Enregistrer la cible du lien sous...\"',filename=\"unl.svg\")\n",
" // Don't use window.onLoad like this in production, because it can only listen to one function.\n",
" window.onload = function() {\n",
" // Expose to window namespase for testing purposes\n",
" window.zoomGraph = svgPanZoom('#graph', {\n",
" zoomEnabled: true,\n",
" controlIconsEnabled: true,\n",
" fit: true,\n",
" center: true,\n",
" // viewportSelector: document.getElementById('graph').querySelector('#g4') // this option will make library to misbehave. Viewport should have no transform attribute\n",
html_download=html_download.format(payload=payload,title='Télécharger le SVG : clic droit + "Enregistrer la cible du lien sous..."',filename="unl.svg")
// Don't use window.onLoad like this in production, because it can only listen to one function.
window.onload = function() {
// Expose to window namespase for testing purposes
window.zoomGraph = svgPanZoom('#graph', {
zoomEnabled: true,
controlIconsEnabled: true,
fit: true,
center: true,
// viewportSelector: document.getElementById('graph').querySelector('#g4') // this option will make library to misbehave. Viewport should have no transform attribute