[DrJava] [ drjava-Feature Requests-2591844 ] Menu Item and Customizable Shortcut for Ctrl-D End of Stream

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

Feature Requests item #2591844, was opened at 2009-02-11 23:49
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=2591844&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: None
Status: Open
Priority: 6
Private: No
Submitted By: Mathias Ricken (mgricken)
Assigned to: Nobody/Anonymous (nobody)
Summary: Menu Item and Customizable Shortcut for Ctrl-D End of Stream

Initial Comment:
As of revision 4753, you can press Ctrl-D in the Interaction Pane's input box to signal that the System.in stream has ended.

This keyboard shortcut should be customizable by the user in the Preferences dialog.

Furthermore, there should be a "Close Input Stream" menu item in the Tools menu (probably underneath "Reset Interactions"). When the user closes the input stream, then this menu item should be disabled and changed to "Input Stream closed".

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

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