On Nov 24, 9:42 pm, tool69 <[EMAIL PROTECTED]> wrote: > Sébastien Boisgérault a écrit :> 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, > > > SBSalut Sébastien, > > Preferences/General/Appearence/Colors&Fonts/ in the right menu choose > Basic/Text Font
Ahhhhh ... Thanks a lot ! I had tweaked in the neighbourhood of this option but it was unclear for me that "Text Font" did also refer to Python code. 'Bitsream Vera Sans Mono', here I come ;) Cheers SB > 6TooL9 -- http://mail.python.org/mailman/listinfo/python-list
