import java.util.logging.LogRecord;
import java.util.logging.Logger;
-import javax.swing.Action;
import javax.swing.JOptionPane;
import javax.swing.UIManager;
import javax.swing.UnsupportedLookAndFeelException;
return nodeList;
}
+ /**
+ * Returns the thread pool used for off-thread processes.
+ *
+ * @return The thread pool
+ */
+ Executor getThreadPool() {
+ return threadPool;
+ }
+
//
// ACTIONS
//
* {@inheritDoc}
*/
public void propertyChange(PropertyChangeEvent propertyChangeEvent) {
- if (propertyChangeEvent.getSource() instanceof Node) {
- Node changedNode = (Node) propertyChangeEvent.getSource();
- nodeConnectActions.get(changedNode).putValue(Action.NAME, changedNode.getName());
- nodeDisconnectActions.get(changedNode).putValue(Action.NAME, changedNode.getName());
- }
+ /* do not react to anything (yet). */
}
}