[Pydev-users] [pydev - Users] Option to change the editor color and fonts

[SourceForge.net <no...@so...>]

Read and respond to this message at: 
https://sourceforge.net/forum/message.php?msg_id=3724170
By: teunvandeberg

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 are receiving this email because you elected to monitor this forum.
To stop monitoring this forum, login to SourceForge.net and visit: 
https://sourceforge.net/forum/unmonitor.php?forum_id=293649