Server data encoding doesn't save?

[vega]

Hi, the MUD I play is ISO 8859-1 but everytime I log on Mudlet is set to UTF-8. Is there no way to make it remember the change?

[Vadi]

Sorry about that. How are you changing it?

[vega]

Options > preferences > Server data encoding > change it and click save.

I open mudlet, it automatically connects to the MUD, and it's set to UTF-8 everytime.

[Vadi]

Are you sure you don't have a script calling setServerEncoding()?

[vega]

Sorry for the slow response! I don't get emailed.

I've looked through all my scripts/triggers/etc (there aren't many) and no sign of anything like that.

Edit: subscribed to topic

[Vadi]

Could you make a video of this? I'm not able to reproduce it.

[vega]

Uploading now: https://streamable.com/mjcsr

[Vadi]

It saves OK here on Windows using 3.8.1. Check your profile folder (C:\Users\<user>\.config\mudlet\profiles\<profile>), is there a file called "encoding" there? Opening it in a hex editor will show the current encoding used. If you haven't got one, upload the file here, we can have a look

[vega]

Yes there's an encoding file, it says ISO 8859-1 in it. Even when I closed/opened Mudlet and the encoding showed as UTF in the settings, the text file still said ISO 8859-1. The text file last updated time only changed when I clicked save in the settings.

[Vadi]

What is the full path to the file like? Does your Windows username have any non-English letters?