monkeytypegame
style: Change csv file name when saving data (vjgtigers)
Description
when downloading history it saves as a csv file but the data is not separated by commas. while most csv viewers can still read it, it could cause a little bit of confusion. This pull request changes the file extension to dsv (delimiter separated values) and changed "Export CSV" to "Export History". However changing "item.charStats" and "item.tags" to be joined by a different delimiter and changing the main delimiter to commas would also work and could keep the csv extension.
I'd prefer changing the delimiter.
Google docs and Excel do not support | as delimiter. LibreOffice does support |. If we would use ; as delimiter it would work in google docs, excel and libreOffice.
LibreOffice and Google Docs don't support dsv.
What if we change the main delimiter to be a "," and change the delimiter for "item.charStats" and "item.tags" to be something like "|" or ";". This way we keep the csv file extension and should be readable by most csv readers.
