Tue, 20 Dec 2011 23:37:26 +0100Fixing bug integrated plugin editors not closed when removing corresponding plugin
laurent [Tue, 20 Dec 2011 23:37:26 +0100] rev 611
Fixing bug integrated plugin editors not closed when removing corresponding plugin

Tue, 20 Dec 2011 23:34:19 +0100Fixing bug in enumerated datatype editor. Initial value symbol not updated if changed in the list of values
laurent [Tue, 20 Dec 2011 23:34:19 +0100] rev 610
Fixing bug in enumerated datatype editor. Initial value symbol not updated if changed in the list of values