[DrJava] [ drjava-Bugs-3388371 ] Right margin is not visible

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

Bugs item #3388371, was opened at 2011-08-08 13:56
Message generated for change (Tracker Item Submitted) made by 
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3388371&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: User interface
Group: 1: Would be nice if fixed ...
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: https://www.google.com/accounts ()
Assigned to: Nobody/Anonymous (nobody)
Summary: Right margin is not visible

Initial Comment:
The right margin never appears.  I've tried turning it on/off, changing the color, changing the location (120, 80, 70), trying the latest stable and development Windows exe versions of Dr. Java, as well as the July 27 .jar version.  The right margin guide quite simply has never appeared.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3388371&group_id=44253