_displayedDocument = null;
displayDocument(getCurrentDocument());
*/
// When the currently selected document is changed, this listener
// is notified.
addViewListener(new ListDataListener() {
public void contentsChanged(ListDataEvent e) {
System.out.println("current document = "
+ getCurrentView().getDocument());
setCurrentView(getCurrentView()); //FIXME
}