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 ------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ Pydev-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/pydev-users
