mirror of
https://github.com/esp8266/Arduino.git
synced 2025-06-16 11:21:18 +03:00
Blue! color scheme changed (and hardcoded in source code to ensure consistency with image files).
This commit is contained in:
@ -90,8 +90,11 @@ public class EditorHeader extends JComponent {
|
||||
}
|
||||
|
||||
if (backgroundColor == null) {
|
||||
backgroundColor =
|
||||
Preferences.getColor("header.bgcolor");
|
||||
//backgroundColor =
|
||||
//Preferences.getColor("header.bgcolor");
|
||||
// hardcoding new blue color scheme for consistency with images,
|
||||
// see EditorStatus.java for details.
|
||||
backgroundColor = new Color(0x21, 0x68, 0x86);
|
||||
textColor[SELECTED] =
|
||||
Preferences.getColor("header.text.selected.color");
|
||||
textColor[UNSELECTED] =
|
||||
|
Reference in New Issue
Block a user