public void setTracesSessions(TracesSessions tracesSessions) {
sessionsList.removeAll();
this.tracesSessions = tracesSessions;
for (int i = 0; i < tracesSessions.size(); i++) {
TracesSession tracesSession = tracesSessions.elementAt(i);
String name = tracesSession.getName();
// System.out.println("name:"+name);
if (name.equals("No available session yet, click on refresh")) sessionsList.add(name);
else {
String trueName = getTrueName(name);
sessionsList.add("Trace " + (i + 1) + " from " + trueName);
}
}
if (tracesSessions.size() != 0) sessionsList.select(0);
}
public void removeBreakpoints(Breakpoint[] breakpoints) {
myBreakpoints.removeAll(Arrays.asList(breakpoints));
rebuildTree();
}