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)); }