PNG Export Default Filetype is .drawio.png

[mslinn]

PNG export offers an inconsistent filetype.

For example, when editing example.drawio, exporting to .webp will cause the default filename to be example.webp, as expected. However, the default filename for exporting to .png will be example.drawio.png instead of example.png.

[davidjgraph]

.drawio is added if the draw.io data is stored in the PNG. That's intended.

[mslinn]

Admittedly, a cool feature, and useful for some. But this naming behavior is unlike normal naming behavior for all other software and does not benefit most users. If the extra info is relatively small, just store it there. Otherwise, make an option in the save dialog and let the user choose. In no case should the normal file naming conventions be contravened.