From 3c6f2ced52d9669561bea6a8c771831c8751f20e Mon Sep 17 00:00:00 2001
From: Federico Fissore <federico.fissore@gmail.com>
Date: Mon, 7 Jan 2013 12:06:07 +0100
Subject: [PATCH] triggering onBoardOrPortChange when changing port

---
 app/src/processing/app/Editor.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index cc03ee550..f83bd0e4f 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -959,6 +959,9 @@ public class Editor extends JFrame implements RunnerListener {
     serialMonitor.closeSerialPort();
     serialMonitor.setVisible(false);
     serialMonitor = new SerialMonitor(Preferences.get("serial.port"));
+
+    onBoardOrPortChange();
+
     //System.out.println("set to " + get("serial.port"));
   }