[DrJava] [ drjava-Feature Requests-2898710 ] Changing Title for "Tabbed Panes" Window

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

Feature Requests item #2898710, was opened at 2009-11-16 15:52
Message generated for change (Tracker Item Submitted) made by mgricken
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=2898710&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: 5
Private: No
Submitted By: Mathias Ricken (mgricken)
Assigned to: Nobody/Anonymous (nobody)
Summary: Changing Title for "Tabbed Panes" Window

Initial Comment:
The window title of DrJava's main frame is the currently open document. That makes it easier to distinguish several instances of DrJava.

The title of a detached "Tabbed Panes" window, however, is always just "Tabbed Panes", and if multiple instances of DrJava are running, it becomes difficult to find out which "Tabbed Panes" window belongs to which DrJava main frame.

We should change the title of the "Tabbed Panes" window to also include the current document, prefixed by "Tabbed Panes - ".

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

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