From 651dcd52711c52471166659edeac35000209cda4 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Fri, 7 Dec 2018 12:38:04 +0100
Subject: [PATCH] Removed unused field

---
 app/src/processing/app/EditorLineStatus.java | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/app/src/processing/app/EditorLineStatus.java b/app/src/processing/app/EditorLineStatus.java
index 4163370d2..7635437da 100644
--- a/app/src/processing/app/EditorLineStatus.java
+++ b/app/src/processing/app/EditorLineStatus.java
@@ -52,7 +52,6 @@ public class EditorLineStatus extends JComponent {
   String text = "";
   String name = "";
   String port = "";
-  String serialnumber = "";
 
   public EditorLineStatus() {
     background = Theme.getColor("linestatus.bgcolor");
@@ -136,10 +135,6 @@ public class EditorLineStatus extends JComponent {
     this.port = port;
   }
 
-  public void setSerialNumber(String serialnumber) {
-    this.serialnumber = serialnumber;
-  }
-
   public Dimension getPreferredSize() {
     return scale(new Dimension(300, height));
   }