Changed color of the preference ok reporting to darkgreen for Roberto

jantje · jantje · commit d3a1d82df005 · 2015-11-06T22:11:43.000+01:00
diff --git a/it.baeyens.arduino.core/src/it/baeyens/arduino/ui/ArduinoPreferencePage.java b/it.baeyens.arduino.core/src/it/baeyens/arduino/ui/ArduinoPreferencePage.java
@@ -366,7 +366,7 @@ public void widgetDefaultSelected(SelectionEvent e) {
 	});
 
 	redColor = parent.getDisplay().getSystemColor(SWT.COLOR_RED);
-	greenColor = parent.getDisplay().getSystemColor(SWT.COLOR_GREEN);
+	greenColor = parent.getDisplay().getSystemColor(SWT.COLOR_DARK_GREEN);
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -366,7 +366,7 @@ public void widgetDefaultSelected(SelectionEvent e) {`
`366`	`366`	`});`
`367`	`367`
`368`	`368`	`redColor = parent.getDisplay().getSystemColor(SWT.COLOR_RED);`
`369`		`- greenColor = parent.getDisplay().getSystemColor(SWT.COLOR_GREEN);`
	`369`	`+ greenColor = parent.getDisplay().getSystemColor(SWT.COLOR_DARK_GREEN);`
`370`	`370`	`}`
`371`	`371`
`372`	`372`	`/**`