Thu, 31 Mar 2011 17:37:47 +0200Merged with Edouard's modifications
laurent [Thu, 31 Mar 2011 17:37:47 +0200] rev 515
Merged with Edouard's modifications

Thu, 31 Mar 2011 17:36:52 +0200Fix segmentation fault on opening and closing of editor tabs
laurent [Thu, 31 Mar 2011 17:36:52 +0200] rev 514
Fix segmentation fault on opening and closing of editor tabs