private void highlightUntransformed() {
AutomatonEditorPanel<T, S> panel = getEditorPanel();
clearSelection();
for (S trans : myAlg.getUnconvertedTransitions()) panel.selectObject(trans);
highlightOtherObjects();
}
private void changeSelection() {
ListSelectionModel model = myTable.getSelectionModel();
AutomatonEditorPanel<T, S> panel = getEditorPanel();
panel.clearSelection();
int min = model.getMinSelectionIndex(), max = model.getMaxSelectionIndex();
if (min < 0) return;
for (int i = min; i <= max; i++)
if (model.isSelectedIndex(i) && myObjectMap.containsKey(i))
panel.selectObject(myObjectMap.get(i));
}
