/** Returns the next available session name in the series untitled1.tet, untitled2.tet, etc. */
private String getNewSessionName() {
String base = "untitled";
String suffix = ".tet";
int i = 0; // Sequence 1, 2, 3, ...
loop:
while (true) {
i++;
String name = base + i + suffix;
for (Object _o : framesMap.keySet()) {
if (_o instanceof SessionEditor) {
SessionEditor sessionEditor = (SessionEditor) _o;
SessionEditorWorkbench workbench = sessionEditor.getSessionWorkbench();
SessionWrapper sessionWrapper = workbench.getSessionWrapper();
if (sessionWrapper.getName().equals(name)) {
continue loop;
}
}
}
return name;
}
}
public void closeFrontmostSession() {
JInternalFrame[] frames = desktopPane.getAllFramesInLayer(0);
if (frames.length > 0) {
frames[0].dispose();
Map<SessionEditor, JInternalFrame> framesMap = this.framesMap;
for (Iterator<SessionEditor> i = framesMap.keySet().iterator(); i.hasNext(); ) {
SessionEditor key = i.next();
JInternalFrame value = framesMap.get(key);
if (value == frames[0]) {
i.remove();
break;
}
}
}
}
