By using this site, you agree to our updated Privacy Policy and our Terms of Use. Manage your Cookies Settings.
440,629 Members | 1,222 Online
Bytes IT Community
+ Ask a Question
Need help? Post your question and get tips & solutions from a community of 440,629 IT Pros & Developers. It's quick & easy.

Pydev configuration

P: n/a
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

Nov 24 '06 #1
Share this Question
Share on Google+
2 Replies


P: n/a
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,

SB
Salut Sébastien,

Preferences/General/Appearence/Colors&Fonts/ in the right menu choose
Basic/Text Font

6TooL9
Nov 24 '06 #2

P: n/a


On Nov 24, 9:42 pm, tool69 <k...@free.frwrote:
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
Nov 24 '06 #3

This discussion thread is closed

Replies have been disabled for this discussion.