Wed, 30 May 2012 12:20:27 +0200 Laurent Bessard Fix bug with cut/copy/paste on PythonEditor