Is there a option change the color and font in the editor? With most Plugin you can change this, however it appears that this is not possible within PyDev.
This is somewhat frustrating as it leads to the following bug:
On Solaris (on Windows this problem does not occur) strings are displayed in a smaller font. This means that the displayed print margin is not valid.
Kind regards,
Teun
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Is there a option change the color and font in the editor? With most Plugin you can change this, however it appears that this is not possible within PyDev.
This is somewhat frustrating as it leads to the following bug:
On Solaris (on Windows this problem does not occur) strings are displayed in a smaller font. This means that the displayed print margin is not valid.
Kind regards,
Teun
You certainly can. Check: http://www.fabioz.com/pydev/manual_adv_editor_prefs.html
Cheers,
Fabio
My sincere opologies. I just read the: "How to change editor colors" by gilead.
My question is answered there so no comment is required.
Kind regards,
Teun