mirror of
https://github.com/processing/processing4.git
synced 2026-06-16 04:26:26 +02:00
additional missing colors
This commit is contained in:
@@ -101,9 +101,10 @@ footer.updates.indicator.text.color = #00072B
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
|
||||
console.color = #2F3539
|
||||
# color of System.out text
|
||||
console.output.color = #8C9495
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #00D7FF
|
||||
@@ -126,7 +127,7 @@ editor.gradient.bottom = #6BA0C7
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #D9FAFF
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
editor.linehighlight = true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
@@ -235,8 +236,12 @@ manager.panel.background.color = #ebebeb
|
||||
manager.panel.text.color = #000000
|
||||
manager.panel.link.color = #444444
|
||||
|
||||
manager.button.background.color = #FF8000
|
||||
manager.button.text.color = #0000FF
|
||||
manager.button.enabled.bgcolor = #FF8000
|
||||
manager.button.enabled.fgcolor = #0000FF
|
||||
manager.button.pressed.bgcolor = #804000
|
||||
manager.button.pressed.fgcolor = #000080
|
||||
manager.button.disabled.bgcolor = #444444
|
||||
manager.button.disabled.fgcolor = #666666
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
Reference in New Issue
Block a user