Right Margin Line in DrJava

Posted on May 13, 2010 by Mathias

Check out the right margin line that I just implemented. You can enable/disable it and change its position under Preferences/Display Options, and configure the color under Preferences/Display Options/Colors.

By default, I have it enabled as light-gray line at 120 columns right now. Should we disable it or change the number of columns?

Share

About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in DrJava. Bookmark the permalink.

One Response to Right Margin Line in DrJava

  1. Pingback: Not a Memory Leak, But Not Finalized? | A Concurrent Affair

Leave a Reply