[DrJava] [ drjava-Feature Requests-702770 ] Edit history in DefinitionsPane

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

Feature Requests item #702770, was opened at 2003-03-13 06:01
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=702770&group_id=44253

Category: Interactions
Group: Small (< 1 pair-week)
Status: Open
Priority: 5
Submitted By: Charles Reis (csreis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Edit history in DefinitionsPane

Initial Comment:
Since the interactions history is essentially Java code
anyway, it would be convenient to edit it in a
DefinitionsPane rather than its own window.  This would
require us to remember that it needs to be saved with a
".hist" extension rather than ".java", but the
indenting and highlighting should be the same as a Java
document.  (This would be a first step towards
supporting non-Java files in the DefinitionsPane area,
such as plain text.)

Note this would also eliminate the odd bug that
JTextAreas on OS X use Ctrl+X, etc for cut, copy,
paste, rather than Command+X, etc.

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

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