public void refresh() {
// remove all currently not processed logs from our list
final int minType = Log.getMinLogType().ordinal();
final List<Log> newList = new ArrayList<Log>();
for (final Log log : list) if (log.getType().ordinal() >= minType) newList.add(log);
if (list.size() != newList.size()) {
list.clear();
list.addAll(newList);
fireTableDataChanged();
table.updateRowHeights();
}
}
public void setMark(final int index) {
mark = index == -1 ? NOMARK : list.get(index).getFormattedCaller();
table.repaint();
}
