Change selected node when the port number changes.
[jSite.git] / src / de / todesbaum / jsite / gui / NodeManagerPage.java
index 23fafe6..ed3de05 100644 (file)
@@ -442,6 +442,7 @@ public class NodeManagerPage extends TWizardPage implements ListSelectionListene
                        JSpinner sourceSpinner = (JSpinner) source;
                        if ("node-port".equals(sourceSpinner.getName())) {
                                selectedNode.setPort((Integer) sourceSpinner.getValue());
+                               fireNodeSelected(selectedNode);
                                nodeList.repaint();
                        }
                }