| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.36 $ |
| * @version $Revision: 1.37 $ |
| * |
| * Last modification: $Date: 2003/07/18 10:22:41 $ |
| * $Id: UpdateView.java,v 1.36 2003/07/18 10:22:41 mdonner Exp $ |
| * Last modification: $Date: 2003/07/19 12:55:05 $ |
| * $Id: UpdateView.java,v 1.37 2003/07/19 12:55:05 cstollen Exp $ |
| */ |
| |
| package src.gui; |
| 47,7 → 47,7 |
|---|
| * |
| * @author Christian Stollenwerk |
| * |
| * @version $Revision: 1.36 $ Last modification: $Date: 2003/07/18 10:22:41 $ |
| * @version $Revision: 1.37 $ Last modification: $Date: 2003/07/19 12:55:05 $ |
| */ |
| public class UpdateView implements ActionListener, UpdateViewInterface, |
| OurEventListener, TreeModelListener, TreeExpansionListener { |
| 151,8 → 151,10 |
|---|
| newPopUpJTree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION); |
| newPopUpJTree.setRootVisible(false); |
| |
| while(treeVisibleList.hasMoreElements()) { |
| newPopUpJTree.makeVisible((TreePath)treeVisibleList.nextElement()); |
| if(treeVisibleList != null) { |
| while(treeVisibleList.hasMoreElements()) { |
| newPopUpJTree.makeVisible((TreePath)treeVisibleList.nextElement()); |
| } |
| } |
| |
| //added 070703 Sascha W. |