366367368369370371372373374375376
return; } //close the active frame frame.close(); frame.dispose(); //update the menu //TODO: shouldn't it depends on the next activated frame if (desktop_.getAllFrames().length == 0) {
388389390391392393394395396397398
int numFrames = frames.length; for (int i = 0; i < numFrames; i++) { DataStoreFrame frame = (DataStoreFrame) frames[i]; frame.close(); frame.dispose(); } } /** * Quit the simulator