| Tue, 20 Dec 2011 23:37:26 +0100 | laurent | Fixing bug integrated plugin editors not closed when removing corresponding plugin | changeset | files |
| Tue, 20 Dec 2011 23:34:19 +0100 | laurent | Fixing bug in enumerated datatype editor. Initial value symbol not updated if changed in the list of values | changeset | files |
| Fri, 16 Dec 2011 22:50:11 +0100 | laurent | Fixing bug preventing enumerated datatype values to be saved | changeset | files |