[DrJava] [ drjava-Bugs-2692490 ] Document Not in Navigator Remains in Defintion Pane

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

Bugs item #2692490, was opened at 2009-03-18 14:41
Message generated for change (Tracker Item Submitted) made by mgricken
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2692490&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: 3: Ugly
Status: Open
Resolution: None
Priority: 7
Private: No
Submitted By: Mathias Ricken (mgricken)
Assigned to: Nobody/Anonymous (nobody)
Summary: Document Not in Navigator Remains in Defintion Pane

Initial Comment:
Sometimes when you close a project, the Definitions Pane continues to display a document, even though it is not in the navigator (list or tree on the left side) anymore.

For example, open some files not in a project, then open a project. Display one of the project's files in the Definitions Pane, then close the project. The navigator only shows the files that were opened before the project, but the document displayed in the Definitions Pane is still from the project.

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

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