Add WaveDrom version to WaveJSON metadata tag in SVG

wavedrom · Jun 22, 2022 · 6c6e053 · 6c6e053
1 parent 810bdec
commit 6c6e053
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/append-save-as-dialog.js b/lib/append-save-as-dialog.js
@@ -94,7 +94,7 @@ function appendSaveAsDialog (index, output, obj=undefined) {
                     }
                     html = [div.innerHTML.slice(0, 166), html, div.innerHTML.slice(166)].join('');
                     if (obj) {
-                        metadataWaveJSON = '<metadata id="wavejson">' + JSON.stringify(obj, null, 2) + '</metadata>';
+                        metadataWaveJSON = '<metadata id="wavejson" version="' + window.WaveDrom.version + '">' + JSON.stringify(obj, null, 2) + '</metadata>';
                         html = html.replace('>', '>' + metadataWaveJSON);
                     }
                     svgdata = 'data:image/svg+xml;base64,' + btoa(html);