(BoardPort boardPort)
| 176 | } |
| 177 | |
| 178 | public void setBoardPort(BoardPort boardPort) { |
| 179 | if (boardPort == null) { |
| 180 | return; |
| 181 | } |
| 182 | setTitle(boardPort.getLabel()); |
| 183 | this.boardPort = boardPort; |
| 184 | } |
| 185 | |
| 186 | public synchronized void addToUpdateBuffer(char buff[], int n) { |
| 187 | updateBuffer.append(buff, 0, n); |