Method updateProjectPane

Singular/LIB/surfex/surfex.java:596–606

()

    }

    public void updateProjectPane() {
	pane.removeAll();
	ListIterator li = openProjects.listIterator();
	Project pro;
	while (li.hasNext()) {
	    pro = (Project) li.next();
	    JScrollPane mainpane = new JScrollPane(pro);
	    pane.add(mainpane, pro.projectName);
	}
	SwingUtilities.updateComponentTreeUI(this);
    }

    public void closeSurfex() {
	//       System.out.println("closeSurfex()");