/** Refresh the data in this table. */
public void refreshTable() {
Runnable refresh =
new Runnable() {
public synchronized void run() {
tableChanged(new TableModelEvent(tableModel, TableModelEvent.HEADER_ROW));
refreshCellWidths();
}
};
if (SwingUtilities.isEventDispatchThread()) {
refresh.run();
} else {
SwingUtilities.invokeLater(refresh);
}
}
/** Freeze repaint to avoid repainting during changing the Graph. */
public void executeWithoutRepaint(@NotNull Runnable action) {
myRepaintFreezed = true;
try {
action.run();
} finally {
myRepaintFreezed = false;
}
}
