Coloration of the source is bad when editing with an other editor
When using an alternate editor, doing the following completely messes with the source coloration:
- runnning why3ide
- editing a source file with an other editor
- reload of why3ide
This is probably linked to #30. My guess (probably wrong) is that the source and coloration is saved inside the IDE while it should be asked to the ITP server when the source file has changed (the change is understood by the server but not by the IDE).