use hi-res icons for serial monitor and plotter

facchinm · facchinm · commit 60c3ca8bc893 · 2016-04-01T10:34:08.000+02:00
fixes arduino#4701
diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
@@ -2579,7 +2579,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)
@@ -2677,7 +2677,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
`@@ -2579,7 +2579,7 @@ public void handleSerial() {`
`2579`	`2579`	`}`
`2580`	`2580`
`2581`	`2581`	`serialMonitor = new MonitorFactory().newMonitor(port);`
`2582`		`- serialMonitor.setIconImage(getIconImage());`
	`2582`	`+ base.setIcon(serialMonitor);`
`2583`	`2583`
`2584`	`2584`	`// If currently uploading, disable the monitor (it will be later`
`2585`	`2585`	`// enabled when done uploading)`
`@@ -2677,7 +2677,7 @@ public void handlePlotter() {`
`2677`	`2677`	`}`
`2678`	`2678`
`2679`	`2679`	`serialPlotter = new SerialPlotter(port);`
`2680`		`- serialPlotter.setIconImage(getIconImage());`
	`2680`	`+ base.setIcon(serialPlotter);`
`2681`	`2681`
`2682`	`2682`	`// If currently uploading, disable the plotter (it will be later`
`2683`	`2683`	`// enabled when done uploading)`