search

DEIS-Tools / H-Uppaal

MIT License
8 stars 3 forks source link

Fix: dont escape utf8 characters when saving #54

Closed sillydan1 closed 1 year ago

sillydan1 commented 1 year ago

Fix: Dont escape utf8 characters in the save function

This PR fixes an issue where many characters would be escaped and would be very difficult for humans to read. Now the save function will save characters as humanly readable text.

Please note that this will affect all projects next time you save it.

Example

Old behavior: When saving a project that has an guard with the value:

foo > 30, it would save a json file foo \u003e 30.

New behavior: When saving a project that has an guard with the value:

foo > 30, it saves a json file foo > 30.