#326 Text Editor doesn't work

[Paulo J. Matos]

Text editor displays an xml file instead of a normal text editor window. The file starts with
<?xml version="1.0" encoding="UTF-8"?>
<org.eventb.core.machineFile version="5" org.eventb.core.configuration="org.eventb.core.fwd">

I don't find there is the need to copy the huge amount of text here but needless to say, it doesn't seem to be working. I am running Gentoo Linux on a 64bit machine and RODIN 1.0rc1.

[Laurent Voisin]

The event-B text editor is not the same as the default text editor provided by Eclipse.
In the current distribution of the Rodin platform, the event-B text editor needs to be installed separately (like the Atelier B provers). Instructions for this installation are available from the Rodin wiki (look at step 4):

http://wiki.event-b.org/index.php/Text_Editor#Installing

If this doesn't fix this bug, please re-open it.

[Nobody/Anonymous]

It worked, thanks!