Wed, 24 Apr 2013 09:29:32 +0200Fixed PythonEditor font size
Laurent Bessard [Wed, 24 Apr 2013 09:29:32 +0200] rev 1058
Fixed PythonEditor font size