Feature Requests item #2974657, was opened at 2010-03-22 11:25
Message generated for change (Tracker Item Submitted) made by mgricken
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=2974657&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: Definitions (source editor)
Group: None
Status: Open
Priority: 5
Private: No
Submitted By: Mathias Ricken (mgricken)
Assigned to: Nobody/Anonymous (nobody)
Summary: Uneditable Text
Initial Comment:
It could be useful to have regions of text that cannot be edited and that display in a slightly different way in DrJava, perhaps with a different background color. That way, an instructor could provide more structure and help in files handed out to students.
I'm not entirely sure what the best way to encode this in the .java files would be. Some special form of comment perhaps.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=2974657&group_id=44253
|
