Closed GoogleCodeExporter closed 8 years ago
In addition, a plugin to run the code from a saved file should probably be
added.
Original comment by andre.ro...@gmail.com
on 2 Oct 2008 at 3:45
The "plugin" to run the code from a saved file has been implemented as a simple
button (i.e. not an editarea plugin per se). The additioal language support
should
be done (by updating editarea to the latest version) before the 1.0 release.
Original comment by andre.ro...@gmail.com
on 3 Oct 2008 at 6:29
Taken care of in revision 1033.
Original comment by andre.ro...@gmail.com
on 6 Oct 2008 at 12:41
Original issue reported on code.google.com by
andre.ro...@gmail.com
on 20 Aug 2008 at 11:33