tools.cobbled-paths/templates/drawing.html

90 lines
2.3 KiB
HTML
Raw Normal View History

<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
2024-03-27 18:16:06 +01:00
<script src="/static/js/FileSaver.js"></script>
<style>
2024-06-07 11:22:07 +02:00
#save-buttons{
2024-03-27 18:16:06 +01:00
position: fixed;
top: 0.5em;
right: 0.5em;
}
2024-03-28 10:42:47 +01:00
.svgbob text {
font-family: monospace !important;
font-weight: bold !important;
fill: red !important;
}
.svgbob text{
visibility: hidden;
}
body.check-text .svgbob text{
visibility: visible;
}
input, button{
font-family: monospace;
}
2024-03-27 18:16:06 +01:00
</style>
</head>
2024-03-27 18:16:06 +01:00
<body>
{{ svg|safe }}
2024-03-27 18:16:06 +01:00
2024-06-07 11:22:07 +02:00
<div id="save-buttons">
2024-06-09 15:35:30 +02:00
<button id="save-svg">get SVG</button>
<button id="save-hpgl">get HPGL</button>
2024-06-07 11:22:07 +02:00
</div>
2024-03-28 10:42:47 +01:00
<script>
function get2bodyclass(){
const url = new URL(window.location.href);
let checked;
checked = url.searchParams.get("c");
2024-03-28 10:42:47 +01:00
if(checked == "false"){
document.body.classList.remove("check-text");
}
else{
document.body.classList.add("check-text");
}
}
get2bodyclass();
</script>
2024-03-27 18:16:06 +01:00
<script>
let save_button = document.getElementById('save-svg');
save_button.addEventListener('click', function(){
//get svg element.
let svg = document.getElementsByTagName("svg")[0];
//get svg source.
let serializer = new XMLSerializer();
let source = serializer.serializeToString(svg);
let blob = new Blob([source], {type: "text/plain;charset=utf-8"});
saveAs(blob, 'cobbled-paths.svg');
});
2024-06-07 11:22:07 +02:00
let save_button_hpgl = document.getElementById('save-hpgl');
save_button_hpgl.addEventListener('click', function () {
let url = document.URL,
parts = url.split('/'),
name = parts[parts.length-1],
hpgl_url = '/hpgl/' + name,
a = document.createElement('a');
a.href = hpgl_url;
a.setAttribute('download', 'download');
if (document.createEvent) {
const event = document.createEvent('MouseEvents');
event.initEvent('click', true, true);
a.dispatchEvent(event);
}
else {
a.click();
}
});
2024-03-27 18:16:06 +01:00
</script>
</body>
</html>