| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.86 $ |
| * @version $Revision: 1.87 $ |
| * |
| * Last modification: $Date: 2003/07/26 15:35:37 $ |
| * $Id: GUI.java,v 1.86 2003/07/26 15:35:37 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/26 15:55:59 $ |
| * $Id: GUI.java,v 1.87 2003/07/26 15:55:59 smcsporr Exp $ |
| */ |
| |
| package src.gui; |
| 51,7 → 51,7 |
|---|
| * |
| * @author group 5 |
| * |
| * @version $Revision: 1.86 $ Last modification: $Date: 2003/07/26 15:35:37 $ |
| * @version $Revision: 1.87 $ Last modification: $Date: 2003/07/26 15:55:59 $ |
| */ |
| public class GUI |
| extends JFrame implements GuiInterface,WindowListener { |
| 475,7 → 475,7 |
|---|
| treeScrollPane.removeAll(); |
| guiTree.setVisible(bool); |
| }else{ |
| |
| treeScrollPane.removeAll(); |
| treeScrollPane.disable(); |
| guiTree.setVisible(bool); |
| } |