| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.38 $ |
| * @version $Revision: 1.39 $ |
| * |
| * Last modification: $Date: 2003/07/19 12:58:12 $ |
| * $Id: UpdateView.java,v 1.38 2003/07/19 12:58:12 cstollen Exp $ |
| * Last modification: $Date: 2003/07/19 13:14:10 $ |
| * $Id: UpdateView.java,v 1.39 2003/07/19 13:14:10 cstollen Exp $ |
| */ |
| |
| package src.gui; |
| 47,7 → 47,7 |
|---|
| * |
| * @author Christian Stollenwerk |
| * |
| * @version $Revision: 1.38 $ Last modification: $Date: 2003/07/19 12:58:12 $ |
| * @version $Revision: 1.39 $ Last modification: $Date: 2003/07/19 13:14:10 $ |
| */ |
| public class UpdateView implements ActionListener, UpdateViewInterface, |
| OurEventListener, TreeModelListener, TreeExpansionListener { |
| 308,7 → 308,7 |
|---|
| * @see javax.swing.event.TreeExpansionListener#treeExpanded(javax.swing.event.TreeExpansionEvent) |
| */ |
| public void treeExpanded(TreeExpansionEvent arg0) { |
| System.out.println("setActualVisibleTree: " + newPopUpJTree.getExpandedDescendants(newPopUpJTree.getPathForRow(0))); |
| System.out.println("setActualVisibleTree: " + newPopUpJTree.getExpandedDescendants(newPopUpJTree.getPathForRow(1))); |
| documentManagerInterface.setActualVisibleTree(newPopUpJTree.getExpandedDescendants( |
| newPopUpJTree.getPathForRow(1))); |
| } |