mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
Removed unused field
This commit is contained in:
parent
4fffcd6e1a
commit
651dcd5271
@ -52,7 +52,6 @@ public class EditorLineStatus extends JComponent {
|
|||||||
String text = "";
|
String text = "";
|
||||||
String name = "";
|
String name = "";
|
||||||
String port = "";
|
String port = "";
|
||||||
String serialnumber = "";
|
|
||||||
|
|
||||||
public EditorLineStatus() {
|
public EditorLineStatus() {
|
||||||
background = Theme.getColor("linestatus.bgcolor");
|
background = Theme.getColor("linestatus.bgcolor");
|
||||||
@ -136,10 +135,6 @@ public class EditorLineStatus extends JComponent {
|
|||||||
this.port = port;
|
this.port = port;
|
||||||
}
|
}
|
||||||
|
|
||||||
public void setSerialNumber(String serialnumber) {
|
|
||||||
this.serialnumber = serialnumber;
|
|
||||||
}
|
|
||||||
|
|
||||||
public Dimension getPreferredSize() {
|
public Dimension getPreferredSize() {
|
||||||
return scale(new Dimension(300, height));
|
return scale(new Dimension(300, height));
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user