laurent [Tue, 20 Dec 2011 23:37:26 +0100] rev 611
Fixing bug integrated plugin editors not closed when removing corresponding plugin
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
laurent [Fri, 16 Dec 2011 22:50:11 +0100] rev 609
Fixing bug preventing enumerated datatype values to be saved
laurent [Fri, 16 Dec 2011 22:48:24 +0100] rev 608
Fixing bug while searching into documentation element