Hi, Did anyone managed to change the code font family/size in Pydev (Python Editor Plugin for Eclipse) ? I found how to change the color mapping (Windows/Preference/Pydev) but did not found the font setting.
Cheers, SB -- http://mail.python.org/mailman/listinfo/python-list
