public void setGraph(Graph graph) { workbench.setGraph(graph); }
private void resetDisplay() { String option = (String) subsetCombo.getSelectedItem(); if ("Show All".equals(option)) { final List<Integer> _subsetIndices = getAllIndices(getStoredGraphs()); subsetIndices.clear(); subsetIndices.addAll(_subsetIndices); int min = subsetIndices.size() == 0 ? 0 : 1; final SpinnerNumberModel model = new SpinnerNumberModel(min, min, subsetIndices.size(), 1); model.addChangeListener( new ChangeListener() { public void stateChanged(ChangeEvent e) { int index = model.getNumber().intValue(); workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(index - 1))); } }); spinner.setModel(model); totalLabel.setText(" of " + _subsetIndices.size()); if (subsetIndices.isEmpty()) { workbench.setGraph(new EdgeListGraph()); } else { workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(0))); } } else if ("Show Stable".equals(option)) { final List<Integer> _subsetIndices = getStableIndices(getStoredGraphs()); subsetIndices.clear(); subsetIndices.addAll(_subsetIndices); int min = subsetIndices.size() == 0 ? 0 : 1; final SpinnerNumberModel model = new SpinnerNumberModel(min, min, subsetIndices.size(), 1); model.addChangeListener( new ChangeListener() { public void stateChanged(ChangeEvent e) { int index = model.getNumber().intValue(); workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(index - 1))); } }); spinner.setModel(model); totalLabel.setText(" of " + _subsetIndices.size()); if (subsetIndices.isEmpty()) { workbench.setGraph(new EdgeListGraph()); } else { workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(0))); } } else if ("Show Unstable".equals(option)) { final List<Integer> _subsetIndices = getUnstableIndices(getStoredGraphs()); subsetIndices.clear(); subsetIndices.addAll(_subsetIndices); int min = subsetIndices.size() == 0 ? 0 : 1; final SpinnerNumberModel model = new SpinnerNumberModel(min, min, subsetIndices.size(), 1); model.addChangeListener( new ChangeListener() { public void stateChanged(ChangeEvent e) { int index = model.getNumber().intValue(); workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(index - 1))); } }); spinner.setModel(model); totalLabel.setText(" of " + _subsetIndices.size()); if (subsetIndices.isEmpty()) { workbench.setGraph(new EdgeListGraph()); } else { workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(0))); } } }