Sexp files slow down the IDE
Loading a session in the IDE that contains sexp files takes a long time. Our sexp files are printed in a single line.
The problem does not exist when the session is replayed with why3 replay
. Then it's more likely that the problem comes from the highlighting or the rendering of the sexp file in the IDE.
If needed, I can provide a reproducer. I'm working with Why3 version based on 7a94aceb.