Wed, 30 May 2012 12:20:54 +0200Fix bug with cut/copy/paste on PythonEditor
laurent [Wed, 30 May 2012 12:20:54 +0200] rev 753
Fix bug with cut/copy/paste on PythonEditor

Wed, 23 May 2012 16:32:33 +0200Merged
laurent [Wed, 23 May 2012 16:32:33 +0200] rev 752
Merged