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 |