Fixed PythonEditor font size

2013-04-24, Laurent Bessard