Replace .drawio files with editable PNG or SVG

dasher-project / dasher-web

Dasher text entry in HTML, CSS, JavaScript, and SVG

https://dasher-project.github.io/dasher-web/browser/

MIT License

43 stars 8 forks source link

Replace .drawio files with editable PNG or SVG #87

Closed sjjhsjjh closed 1 year ago

sjjhsjjh commented 3 years ago

The .drawio files in the repository should be replaced by editable PNG or SVG. Conversion can be done in the draw.io desktop application, for example, by exporting or save-as. This issue includes

replacing the files.
updating references to the files.
adding to the coding style guide instructions.