use hi-res icons for serial monitor and plotter

facchinm · facchinm · commit a329731525a3 · 2016-04-01T10:55:04.000+02:00
fixes arduino#4701
diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
@@ -2547,7 +2547,7 @@ public void handleSerial() {
     }
 
     serialMonitor = new MonitorFactory().newMonitor(port);
-    serialMonitor.setIconImage(getIconImage());
+    base.setIcon(serialMonitor);
 
     // If currently uploading, disable the monitor (it will be later
     // enabled when done uploading)
@@ -2643,7 +2643,7 @@ public void handlePlotter() {
     }
 
     serialPlotter = new SerialPlotter(port);
-    serialPlotter.setIconImage(getIconImage());
+    base.setIcon(serialPlotter);
 
     // If currently uploading, disable the plotter (it will be later
     // enabled when done uploading)

Original file line number	Diff line number	Diff line change
`@@ -2547,7 +2547,7 @@ public void handleSerial() {`
`2547`	`2547`	`}`
`2548`	`2548`
`2549`	`2549`	`serialMonitor = new MonitorFactory().newMonitor(port);`
`2550`		`- serialMonitor.setIconImage(getIconImage());`
	`2550`	`+ base.setIcon(serialMonitor);`
`2551`	`2551`
`2552`	`2552`	`// If currently uploading, disable the monitor (it will be later`
`2553`	`2553`	`// enabled when done uploading)`
`@@ -2643,7 +2643,7 @@ public void handlePlotter() {`
`2643`	`2643`	`}`
`2644`	`2644`
`2645`	`2645`	`serialPlotter = new SerialPlotter(port);`
`2646`		`- serialPlotter.setIconImage(getIconImage());`
	`2646`	`+ base.setIcon(serialPlotter);`
`2647`	`2647`
`2648`	`2648`	`// If currently uploading, disable the plotter (it will be later`
`2649`	`2649`	`// enabled when done uploading)`