Pydev configuration

[Sébastien Boisgérault]

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

[tool69]

Re: Pydev configuration

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

[Sébastien Boisgérault]

Re: Pydev configuration



On Nov 24, 9:42 pm, tool69 <k...@free.frwr ote:

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