int height = safeInt(structureState.getHeight());
// Probably don't need to do this anymore...
- // Desktop.getDesktop().getComponentAt(x, y);
+ // Desktop.getDesktopPane().getComponentAt(x, y);
// TODO: NOW: check that this recovers the PDB file correctly.
String pdbFile = loadPDBFile(jprovider, pdbid.getId(),
pdbid.getFile());