Right Margin Line in DrJava

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?


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