Fix bug with cut/copy/paste on PythonEditor

2012-05-30, laurent