So on further research, and reading around here it turns out that I can reset my country settings so that the "," is the global system default decimal separator and then the editor both uses and produces comma separation.
The problem is that this is incorrect behaviour.
Though it is a useable quickfix for me, it is annoying as I have to remember to reset it afterwards. It is wrong simply because the separator in .srt files format is fixed, is the comma, and is not country dependent.
So this is a real bug.
For Bsplayer to accept both period or comma separated timestamps is possibly sensible, especially if many people now have files in the incorrect format. To produce the incorrect format is not acceptable.
|