use hi-res icons for serial monitor and plotter

facchinm · facchinm · commit 2c564e68b91b · 2016-03-25T16:58:08.000+01:00
fixes arduino#4701
diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
@@ -2616,7 +2616,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)
@@ -2714,7 +2714,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
`@@ -2616,7 +2616,7 @@ public void handleSerial() {`
`2616`	`2616`	`}`
`2617`	`2617`
`2618`	`2618`	`serialMonitor = new MonitorFactory().newMonitor(port);`
`2619`		`- serialMonitor.setIconImage(getIconImage());`
	`2619`	`+ base.setIcon(serialMonitor);`
`2620`	`2620`
`2621`	`2621`	`// If currently uploading, disable the monitor (it will be later`
`2622`	`2622`	`// enabled when done uploading)`
`@@ -2714,7 +2714,7 @@ public void handlePlotter() {`
`2714`	`2714`	`}`
`2715`	`2715`
`2716`	`2716`	`serialPlotter = new SerialPlotter(port);`
`2717`		`- serialPlotter.setIconImage(getIconImage());`
	`2717`	`+ base.setIcon(serialPlotter);`
`2718`	`2718`
`2719`	`2719`	`// If currently uploading, disable the plotter (it will be later`
`2720`	`2720`	`// enabled when done uploading)`