Feature Requests item #788296, was opened at 2003-08-13 19:59
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=788296&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: Add "Load Script" to Tools menu
Initial Comment:
In the drjava-20030812-2156 release, the "Load
Interactions History as Script" command is in the
context menu for the Interactions Pane, but not in the
Tools menu. The user should be able to find it in
either place.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=788296&group_id=44253
|
