m-fleury
commented
3 months ago Actually I now tend to think that we should go the full road: when opening a file, replace all symbols by utf-8 (isabelle-vsce is accepting them anyway, it is only isabelle build) and only replace them when closing the file.
Side issue: on a crash you get the inconsistent state.
Overall, I think his would avoid a lot of problems and make it easier to adapt to other text editors.
As the bug that inserts utf8 symbols instead of the Isabelle version is still not fixed, I have added a function that replaces them when saving (in isar-mode). That should having to open Isabelle/jEdit to fix symbols.
This should fix #74 and #81 (it is a work-around technically and requires to save twice actually, but that should be good enough)