Thu, 31 Mar 2011 17:37:47 +0200 laurent Merged with Edouard's modifications
Thu, 31 Mar 2011 17:36:52 +0200 laurent Fix segmentation fault on opening and closing of editor tabs