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

--
http://mail.python.org/mailman/listinfo/python-list

[kib2]

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
--
http://mail.python.org/mailman/listinfo/python-list

[Sébastien Boisgérault]

On Nov 24, 9:42 pm, tool69 <[hidden email]> 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

[hamiljf]

I suppose this is the nearest thread... editor configuration and all.
I'm using PyDev in a MyEclipse environment and it works fine, except for one tiny but horrible niggle.

The editor function I can't find is block indent/exdent... like you can block comment/uncomment it would be really handy to be able to do the same with indentation.  I cannot believe the function isn't there, but I cannot find it.

PyDev works fine now I'm running in the latest JRE, btw: used to bomb the 1.6 JRE on a regular basis.