From 204fc48b689d5cf8aa0240ff383f2c4c71c3edaf Mon Sep 17 00:00:00 2001 From: =?utf8?q?David=20=E2=80=98Bombe=E2=80=99=20Roden?= Date: Thu, 9 Jun 2011 21:58:24 +0200 Subject: [PATCH] Change selected node when the port number changes. This fixes #185. --- src/de/todesbaum/jsite/gui/NodeManagerPage.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/de/todesbaum/jsite/gui/NodeManagerPage.java b/src/de/todesbaum/jsite/gui/NodeManagerPage.java index 23fafe6..ed3de05 100644 --- a/src/de/todesbaum/jsite/gui/NodeManagerPage.java +++ b/src/de/todesbaum/jsite/gui/NodeManagerPage.java @@ -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(); } } -- 2.7.4