mirror of
https://github.com/processing/processing4.git
synced 2026-06-16 04:26:26 +02:00
adding a set of sixteen default themes
This commit is contained in:
Ben Fry
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #FFFFF2
|
||||
toolbar.gradient.top = #001F29
|
||||
toolbar.gradient.bottom = #001F29
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #7FA0A8
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #001F29
|
||||
mode.outline.color = #5B7B84
|
||||
|
||||
toolbar.button.disabled.field = #E1FFFF
|
||||
toolbar.button.disabled.glyph = #CBEDF3
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #727774
|
||||
toolbar.button.enabled.glyph = #002039
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #001931
|
||||
toolbar.button.pressed.glyph = #83C1D2
|
||||
toolbar.button.pressed.stroke = #83C1D2
|
||||
toolbar.button.rollover.field = #83C1D2
|
||||
toolbar.button.rollover.glyph = #002039
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #FFFFF2
|
||||
toolbar.button.selected.glyph = #333C3E
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #000E19
|
||||
status.notice.bgcolor = #305C6A
|
||||
status.error.fgcolor = #000000
|
||||
status.error.bgcolor = #FFFFF2
|
||||
status.warning.bgcolor = #727774
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #909089
|
||||
header.text.unselected.color = #47595E
|
||||
header.tab.arrow.color = #47595E
|
||||
header.tab.selected.color = #000C17
|
||||
header.tab.unselected.color = #00141C
|
||||
header.tab.modified.color = #FFFFF2
|
||||
header.gradient.top = #001F29
|
||||
header.gradient.bottom = #001F29
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #FFFFF2
|
||||
footer.text.enabled.color = #7FA0A8
|
||||
footer.icon.selected.color = #FFFFF2
|
||||
footer.icon.enabled.color = #7FA0A8
|
||||
footer.gradient.top = #001F29
|
||||
footer.gradient.bottom = #001F29
|
||||
footer.tab.selected.color = #2F4F59
|
||||
footer.tab.enabled.color = #001F29
|
||||
footer.updates.text.color = #FFFFF2
|
||||
footer.updates.indicator.field.color = #000716
|
||||
footer.updates.indicator.text.color = #E1FFFF
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #040C0E
|
||||
console.output.color = #757A76
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #C1C7C0
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #FFFFF2
|
||||
editor.bgcolor = #000000
|
||||
|
||||
editor.gradient.top = #001F29
|
||||
editor.gradient.bottom = #001F29
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #001829
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #FFFFF2
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #00274F
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #2F4F59
|
||||
editor.scrollbar.thumb.rollover.color = #254650
|
||||
editor.scrollbar.thumb.pressed.color = #254650
|
||||
editor.scrollbar.color = #062B35
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #E1FFFF
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #2F4F59
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFF2
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #727774
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #000C17
|
||||
manager.tab.unselected.color = #00141C
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #909089
|
||||
manager.tab.text.unselected.color = #47595E
|
||||
manager.tab.gradient.top = #001F29
|
||||
manager.tab.gradient.bottom = #001F29
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #001F29
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #FFFFF2
|
||||
toolbar.gradient.top = #3E4249
|
||||
toolbar.gradient.bottom = #3E4249
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #A9ADB2
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #3E4249
|
||||
mode.outline.color = #8C9096
|
||||
|
||||
toolbar.button.disabled.field = #FAFEFF
|
||||
toolbar.button.disabled.glyph = #E3E7EA
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #F8951D
|
||||
toolbar.button.enabled.glyph = #233959
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #01203E
|
||||
toolbar.button.pressed.glyph = #FFB724
|
||||
toolbar.button.pressed.stroke = #FFB724
|
||||
toolbar.button.rollover.field = #FFB724
|
||||
toolbar.button.rollover.glyph = #233959
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #FFFFF2
|
||||
toolbar.button.selected.glyph = #9E2600
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #11151D
|
||||
status.notice.bgcolor = #6E747E
|
||||
status.error.fgcolor = #000000
|
||||
status.error.bgcolor = #FFFFF2
|
||||
status.warning.bgcolor = #F8951D
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #FFA11D
|
||||
header.text.unselected.color = #717477
|
||||
header.tab.arrow.color = #717477
|
||||
header.tab.selected.color = #0D1018
|
||||
header.tab.unselected.color = #22252C
|
||||
header.tab.modified.color = #FFFFF2
|
||||
header.gradient.top = #3E4249
|
||||
header.gradient.bottom = #3E4249
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #FFFFF2
|
||||
footer.text.enabled.color = #A9ADB2
|
||||
footer.icon.selected.color = #FFFFF2
|
||||
footer.icon.enabled.color = #A9ADB2
|
||||
footer.gradient.top = #3E4249
|
||||
footer.gradient.bottom = #3E4249
|
||||
footer.tab.selected.color = #686C73
|
||||
footer.tab.enabled.color = #3E4249
|
||||
footer.updates.text.color = #FFFFF2
|
||||
footer.updates.indicator.field.color = #00000F
|
||||
footer.updates.indicator.text.color = #FAFEFF
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #18191A
|
||||
console.output.color = #7F817E
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #FFAD3C
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #FFFFF2
|
||||
editor.bgcolor = #000000
|
||||
|
||||
editor.gradient.top = #3E4249
|
||||
editor.gradient.bottom = #3E4249
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #270700
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #FFFFF2
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #3E0900
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #686C73
|
||||
editor.scrollbar.thumb.rollover.color = #5C6067
|
||||
editor.scrollbar.thumb.pressed.color = #5C6067
|
||||
editor.scrollbar.color = #494D54
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #FAFEFF
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #686C73
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFF2
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #F8951D
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #0D1018
|
||||
manager.tab.unselected.color = #22252C
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #FFA11D
|
||||
manager.tab.text.unselected.color = #717477
|
||||
manager.tab.gradient.top = #3E4249
|
||||
manager.tab.gradient.bottom = #3E4249
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #3E4249
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #009D76
|
||||
toolbar.gradient.bottom = #009D76
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #004429
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #009D76
|
||||
mode.outline.color = #00583A
|
||||
|
||||
toolbar.button.disabled.field = #001E00
|
||||
toolbar.button.disabled.glyph = #30FFD2
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFF2
|
||||
toolbar.button.enabled.glyph = #00AAE7
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #00AAE7
|
||||
toolbar.button.pressed.glyph = #FFFFF2
|
||||
toolbar.button.pressed.stroke = #FFFFF2
|
||||
toolbar.button.rollover.field = #FFFFF2
|
||||
toolbar.button.rollover.glyph = #00313D
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #002340
|
||||
toolbar.button.selected.glyph = #FFFFF2
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #19FBCA
|
||||
status.notice.bgcolor = #00724B
|
||||
status.error.fgcolor = #FFFFF2
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #004A59
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #133941
|
||||
header.text.unselected.color = #006951
|
||||
header.tab.arrow.color = #006951
|
||||
header.tab.selected.color = #71F5CD
|
||||
header.tab.unselected.color = #44CDA8
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #009D76
|
||||
header.gradient.bottom = #009D76
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #004429
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #004429
|
||||
footer.gradient.top = #009D76
|
||||
footer.gradient.bottom = #009D76
|
||||
footer.tab.selected.color = #007755
|
||||
footer.tab.enabled.color = #009D76
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #56FFE8
|
||||
footer.updates.indicator.text.color = #001E00
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #1F312A
|
||||
console.output.color = #7D9285
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #8AD0DE
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFF2
|
||||
|
||||
editor.gradient.top = #009D76
|
||||
editor.gradient.bottom = #009D76
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #B1FFFF
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #00FFFF
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #007755
|
||||
editor.scrollbar.thumb.rollover.color = #006A49
|
||||
editor.scrollbar.thumb.pressed.color = #006A49
|
||||
editor.scrollbar.color = #008F6A
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #001E00
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #007755
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #004A59
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #71F5CD
|
||||
manager.tab.unselected.color = #44CDA8
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #133941
|
||||
manager.tab.text.unselected.color = #006951
|
||||
manager.tab.gradient.top = #009D76
|
||||
manager.tab.gradient.bottom = #009D76
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #009D76
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #CBCECC
|
||||
toolbar.gradient.bottom = #CBCECC
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #4A4D50
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #CBCECC
|
||||
mode.outline.color = #676A6B
|
||||
|
||||
toolbar.button.disabled.field = #000009
|
||||
toolbar.button.disabled.glyph = #E4E8E4
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFF2
|
||||
toolbar.button.enabled.glyph = #3F94DF
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #3F94DF
|
||||
toolbar.button.pressed.glyph = #FFFFF2
|
||||
toolbar.button.pressed.stroke = #FFFFF2
|
||||
toolbar.button.rollover.field = #FFFFF2
|
||||
toolbar.button.rollover.glyph = #003EB0
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #001A42
|
||||
toolbar.button.selected.glyph = #FFFFF2
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #ECF0ED
|
||||
status.notice.bgcolor = #878B8D
|
||||
status.error.fgcolor = #FFFFF2
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #0055B6
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #004393
|
||||
header.text.unselected.color = #888B89
|
||||
header.tab.arrow.color = #888B89
|
||||
header.tab.selected.color = #EDF0EB
|
||||
header.tab.unselected.color = #DFE2DD
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #CBCECC
|
||||
header.gradient.bottom = #CBCECC
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #4A4D50
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #4A4D50
|
||||
footer.gradient.top = #CBCECC
|
||||
footer.gradient.bottom = #CBCECC
|
||||
footer.tab.selected.color = #929695
|
||||
footer.tab.enabled.color = #CBCECC
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #FBFFFA
|
||||
footer.updates.indicator.text.color = #000009
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #434442
|
||||
console.output.color = #9A9B95
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #32CDFF
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFF2
|
||||
|
||||
editor.gradient.top = #CBCECC
|
||||
editor.gradient.bottom = #CBCECC
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #E2F7FF
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #C0F4FF
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #929695
|
||||
editor.scrollbar.thumb.rollover.color = #808384
|
||||
editor.scrollbar.thumb.pressed.color = #808384
|
||||
editor.scrollbar.color = #B7BBB9
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #000009
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #929695
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #0055B6
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #EDF0EB
|
||||
manager.tab.unselected.color = #DFE2DD
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #004393
|
||||
manager.tab.text.unselected.color = #888B89
|
||||
manager.tab.gradient.top = #CBCECC
|
||||
manager.tab.gradient.bottom = #CBCECC
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #CBCECC
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #CC9866
|
||||
toolbar.gradient.bottom = #CC9866
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #5B3304
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #CC9866
|
||||
mode.outline.color = #754A1D
|
||||
|
||||
toolbar.button.disabled.field = #270000
|
||||
toolbar.button.disabled.glyph = #FFDCA5
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFF2
|
||||
toolbar.button.enabled.glyph = #D47900
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #D47900
|
||||
toolbar.button.pressed.glyph = #FFFFF2
|
||||
toolbar.button.pressed.stroke = #FFFFF2
|
||||
toolbar.button.rollover.field = #FFFFF2
|
||||
toolbar.button.rollover.glyph = #6C0000
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #320300
|
||||
toolbar.button.selected.glyph = #FFFFF2
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #FFD9A3
|
||||
status.notice.bgcolor = #976026
|
||||
status.error.fgcolor = #FFFFF2
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #800D00
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #710000
|
||||
header.text.unselected.color = #83674B
|
||||
header.tab.arrow.color = #83674B
|
||||
header.tab.selected.color = #FFDCB2
|
||||
header.tab.unselected.color = #EAC098
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #CC9866
|
||||
header.gradient.bottom = #CC9866
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #5B3304
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #5B3304
|
||||
footer.gradient.top = #CC9866
|
||||
footer.gradient.bottom = #CC9866
|
||||
footer.tab.selected.color = #9C6C3E
|
||||
footer.tab.enabled.color = #CC9866
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #FFF3BA
|
||||
footer.updates.indicator.text.color = #270000
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #3B352E
|
||||
console.output.color = #989186
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #FFA100
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFF2
|
||||
|
||||
editor.gradient.top = #CC9866
|
||||
editor.gradient.bottom = #CC9866
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #FFEEC2
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #FFDF91
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #9C6C3E
|
||||
editor.scrollbar.thumb.rollover.color = #8E6032
|
||||
editor.scrollbar.thumb.pressed.color = #8E6032
|
||||
editor.scrollbar.color = #BA8858
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #270000
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #9C6C3E
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #800D00
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #FFDCB2
|
||||
manager.tab.unselected.color = #EAC098
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #710000
|
||||
manager.tab.text.unselected.color = #83674B
|
||||
manager.tab.gradient.top = #CC9866
|
||||
manager.tab.gradient.bottom = #CC9866
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #CC9866
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #FFFFF2
|
||||
toolbar.gradient.top = #301751
|
||||
toolbar.gradient.bottom = #301751
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #B491D3
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #301751
|
||||
mode.outline.color = #9170B0
|
||||
|
||||
toolbar.button.disabled.field = #FFEFFF
|
||||
toolbar.button.disabled.glyph = #FED8FF
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #A49EA1
|
||||
toolbar.button.enabled.glyph = #2B085F
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #17004E
|
||||
toolbar.button.pressed.glyph = #DEC4ED
|
||||
toolbar.button.pressed.stroke = #DEC4ED
|
||||
toolbar.button.rollover.field = #DEC4ED
|
||||
toolbar.button.rollover.glyph = #2B085F
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #FFFFF2
|
||||
toolbar.button.selected.glyph = #534A56
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #160036
|
||||
status.notice.bgcolor = #714B9C
|
||||
status.error.fgcolor = #000000
|
||||
status.error.bgcolor = #FFFFF2
|
||||
status.warning.bgcolor = #A49EA1
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #B0B0A7
|
||||
header.text.unselected.color = #69567A
|
||||
header.tab.arrow.color = #69567A
|
||||
header.tab.selected.color = #17002B
|
||||
header.tab.unselected.color = #1F0D36
|
||||
header.tab.modified.color = #FFFFF2
|
||||
header.gradient.top = #301751
|
||||
header.gradient.bottom = #301751
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #FFFFF2
|
||||
footer.text.enabled.color = #B491D3
|
||||
footer.icon.selected.color = #FFFFF2
|
||||
footer.icon.enabled.color = #B491D3
|
||||
footer.gradient.top = #301751
|
||||
footer.gradient.bottom = #301751
|
||||
footer.tab.selected.color = #644684
|
||||
footer.tab.enabled.color = #301751
|
||||
footer.updates.text.color = #FFFFF2
|
||||
footer.updates.indicator.field.color = #140030
|
||||
footer.updates.indicator.text.color = #FFEFFF
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #140E17
|
||||
console.output.color = #7F797E
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #CAC4C6
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #FFFFF2
|
||||
editor.bgcolor = #000000
|
||||
|
||||
editor.gradient.top = #301751
|
||||
editor.gradient.bottom = #301751
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #1A0729
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #FFFFF2
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #28044E
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #644684
|
||||
editor.scrollbar.thumb.rollover.color = #5A3D7A
|
||||
editor.scrollbar.thumb.pressed.color = #5A3D7A
|
||||
editor.scrollbar.color = #3F2460
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #FFEFFF
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #644684
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFF2
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #A49EA1
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #17002B
|
||||
manager.tab.unselected.color = #1F0D36
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #B0B0A7
|
||||
manager.tab.text.unselected.color = #69567A
|
||||
manager.tab.gradient.top = #301751
|
||||
manager.tab.gradient.bottom = #301751
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #301751
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #869570
|
||||
toolbar.gradient.bottom = #869570
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #2F3D20
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #869570
|
||||
mode.outline.color = #445133
|
||||
|
||||
toolbar.button.disabled.field = #000700
|
||||
toolbar.button.disabled.glyph = #DDEDC2
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFF2
|
||||
toolbar.button.enabled.glyph = #4BA400
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #4BA400
|
||||
toolbar.button.pressed.glyph = #FFFFF2
|
||||
toolbar.button.pressed.stroke = #FFFFF2
|
||||
toolbar.button.rollover.field = #FFFFF2
|
||||
toolbar.button.rollover.glyph = #122B00
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #001C00
|
||||
toolbar.button.selected.glyph = #FFFFF2
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #D7E7BC
|
||||
status.notice.bgcolor = #566841
|
||||
status.error.fgcolor = #FFFFF2
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #194200
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #063700
|
||||
header.text.unselected.color = #5E6551
|
||||
header.tab.arrow.color = #5E6551
|
||||
header.tab.selected.color = #DBE6C5
|
||||
header.tab.unselected.color = #B9C4A5
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #869570
|
||||
header.gradient.bottom = #869570
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #2F3D20
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #2F3D20
|
||||
footer.gradient.top = #869570
|
||||
footer.gradient.bottom = #869570
|
||||
footer.tab.selected.color = #606F4D
|
||||
footer.tab.enabled.color = #869570
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #F4FFD7
|
||||
footer.updates.indicator.text.color = #000700
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #31322D
|
||||
console.output.color = #8F9087
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #A8D27A
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFF2
|
||||
|
||||
editor.gradient.top = #869570
|
||||
editor.gradient.bottom = #869570
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #E6FEC3
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #CDFF95
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #606F4D
|
||||
editor.scrollbar.thumb.rollover.color = #546242
|
||||
editor.scrollbar.thumb.pressed.color = #546242
|
||||
editor.scrollbar.color = #798864
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #000700
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #606F4D
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #194200
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #DBE6C5
|
||||
manager.tab.unselected.color = #B9C4A5
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #063700
|
||||
manager.tab.text.unselected.color = #5E6551
|
||||
manager.tab.gradient.top = #869570
|
||||
manager.tab.gradient.bottom = #869570
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #869570
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #76797A
|
||||
toolbar.gradient.bottom = #76797A
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #2D3033
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #76797A
|
||||
mode.outline.color = #3E4244
|
||||
|
||||
toolbar.button.disabled.field = #000009
|
||||
toolbar.button.disabled.glyph = #E4E8E4
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFF2
|
||||
toolbar.button.enabled.glyph = #5194D6
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #5194D6
|
||||
toolbar.button.pressed.glyph = #FFFFF2
|
||||
toolbar.button.pressed.stroke = #FFFFF2
|
||||
toolbar.button.rollover.field = #FFFFF2
|
||||
toolbar.button.rollover.glyph = #2B2E2F
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #00183F
|
||||
toolbar.button.selected.glyph = #FFFFF2
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #D6DAD7
|
||||
status.notice.bgcolor = #4E5256
|
||||
status.error.fgcolor = #FFFFF2
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #434649
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #393935
|
||||
header.text.unselected.color = #4F5252
|
||||
header.tab.arrow.color = #4F5252
|
||||
header.tab.selected.color = #D7DAD5
|
||||
header.tab.unselected.color = #B0B3B0
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #76797A
|
||||
header.gradient.bottom = #76797A
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #2D3033
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #2D3033
|
||||
footer.gradient.top = #76797A
|
||||
footer.gradient.bottom = #76797A
|
||||
footer.tab.selected.color = #56595B
|
||||
footer.tab.enabled.color = #76797A
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #FBFFFA
|
||||
footer.updates.indicator.text.color = #000009
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #292928
|
||||
console.output.color = #8A8B86
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #C2C6C4
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFF2
|
||||
|
||||
editor.gradient.top = #76797A
|
||||
editor.gradient.bottom = #76797A
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #E2F7FF
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #C0F4FF
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #56595B
|
||||
editor.scrollbar.thumb.rollover.color = #4C5052
|
||||
editor.scrollbar.thumb.pressed.color = #4C5052
|
||||
editor.scrollbar.color = #6C6F70
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #000009
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #56595B
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #434649
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #D7DAD5
|
||||
manager.tab.unselected.color = #B0B3B0
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #393935
|
||||
manager.tab.text.unselected.color = #4F5252
|
||||
manager.tab.gradient.top = #76797A
|
||||
manager.tab.gradient.bottom = #76797A
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #76797A
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #FFFFF2
|
||||
toolbar.gradient.top = #88272C
|
||||
toolbar.gradient.bottom = #88272C
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #FE908A
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #88272C
|
||||
mode.outline.color = #E07671
|
||||
|
||||
toolbar.button.disabled.field = #FFDFD3
|
||||
toolbar.button.disabled.glyph = #FFC8BD
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FF5568
|
||||
toolbar.button.enabled.glyph = #88001C
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #600000
|
||||
toolbar.button.pressed.glyph = #FF9496
|
||||
toolbar.button.pressed.stroke = #FF9496
|
||||
toolbar.button.rollover.field = #FF9496
|
||||
toolbar.button.rollover.glyph = #88001C
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #FFFFF2
|
||||
toolbar.button.selected.glyph = #F50000
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #460000
|
||||
status.notice.bgcolor = #D05052
|
||||
status.error.fgcolor = #000000
|
||||
status.error.bgcolor = #FFFFF2
|
||||
status.warning.bgcolor = #FF5568
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #FF6275
|
||||
header.text.unselected.color = #A86B65
|
||||
header.tab.arrow.color = #A86B65
|
||||
header.tab.selected.color = #370000
|
||||
header.tab.unselected.color = #521015
|
||||
header.tab.modified.color = #FFFFF2
|
||||
header.gradient.top = #88272C
|
||||
header.gradient.bottom = #88272C
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #FFFFF2
|
||||
footer.text.enabled.color = #FE908A
|
||||
footer.icon.selected.color = #FFFFF2
|
||||
footer.icon.enabled.color = #FE908A
|
||||
footer.gradient.top = #88272C
|
||||
footer.gradient.bottom = #88272C
|
||||
footer.tab.selected.color = #B95452
|
||||
footer.tab.enabled.color = #88272C
|
||||
footer.updates.text.color = #FFFFF2
|
||||
footer.updates.indicator.field.color = #370000
|
||||
footer.updates.indicator.text.color = #FFDFD3
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #261A18
|
||||
console.output.color = #8F8079
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #FF707D
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #FFFFF2
|
||||
editor.bgcolor = #000000
|
||||
|
||||
editor.gradient.top = #88272C
|
||||
editor.gradient.bottom = #88272C
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #290200
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #FFFFF2
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #470000
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #B95452
|
||||
editor.scrollbar.thumb.rollover.color = #AB4747
|
||||
editor.scrollbar.thumb.pressed.color = #AB4747
|
||||
editor.scrollbar.color = #963537
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #FFDFD3
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #B95452
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFF2
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #FF5568
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #370000
|
||||
manager.tab.unselected.color = #521015
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #FF6275
|
||||
manager.tab.text.unselected.color = #A86B65
|
||||
manager.tab.gradient.top = #88272C
|
||||
manager.tab.gradient.bottom = #88272C
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #88272C
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #D8432A
|
||||
toolbar.gradient.bottom = #D8432A
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #790000
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #D8432A
|
||||
mode.outline.color = #910000
|
||||
|
||||
toolbar.button.disabled.field = #460000
|
||||
toolbar.button.disabled.glyph = #FFB793
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFF2
|
||||
toolbar.button.enabled.glyph = #FF5338
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #FF5338
|
||||
toolbar.button.pressed.glyph = #FFFFF2
|
||||
toolbar.button.pressed.stroke = #FFFFF2
|
||||
toolbar.button.rollover.field = #FFFFF2
|
||||
toolbar.button.rollover.glyph = #8E0000
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #380000
|
||||
toolbar.button.selected.glyph = #FFFFF2
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #FFA986
|
||||
status.notice.bgcolor = #B70000
|
||||
status.error.fgcolor = #FFFFF2
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #9C0000
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #910000
|
||||
header.text.unselected.color = #893828
|
||||
header.tab.arrow.color = #893828
|
||||
header.tab.selected.color = #FFB89A
|
||||
header.tab.unselected.color = #FF9176
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #D8432A
|
||||
header.gradient.bottom = #D8432A
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #790000
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #790000
|
||||
footer.gradient.top = #D8432A
|
||||
footer.gradient.bottom = #D8432A
|
||||
footer.tab.selected.color = #B01800
|
||||
footer.tab.enabled.color = #D8432A
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #FFCEA8
|
||||
footer.updates.indicator.text.color = #460000
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #372520
|
||||
console.output.color = #9C867B
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #FF5E38
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFF2
|
||||
|
||||
editor.gradient.top = #D8432A
|
||||
editor.gradient.bottom = #D8432A
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #FFE8D3
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #FFD3B6
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #B01800
|
||||
editor.scrollbar.thumb.rollover.color = #A30100
|
||||
editor.scrollbar.thumb.pressed.color = #A30100
|
||||
editor.scrollbar.color = #CC371F
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #460000
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #B01800
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #9C0000
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #FFB89A
|
||||
manager.tab.unselected.color = #FF9176
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #910000
|
||||
manager.tab.text.unselected.color = #893828
|
||||
manager.tab.gradient.top = #D8432A
|
||||
manager.tab.gradient.bottom = #D8432A
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #D8432A
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #6BA0C7
|
||||
toolbar.gradient.bottom = #6BA0C7
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #004063
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #6BA0C7
|
||||
mode.outline.color = #12577C
|
||||
|
||||
toolbar.button.disabled.field = #00072B
|
||||
toolbar.button.disabled.glyph = #BAEDFF
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFF2
|
||||
toolbar.button.enabled.glyph = #009BEE
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #009BEE
|
||||
toolbar.button.pressed.glyph = #FFFFF2
|
||||
toolbar.button.pressed.stroke = #FFFFF2
|
||||
toolbar.button.rollover.field = #FFFFF2
|
||||
toolbar.button.rollover.glyph = #003BB1
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #00193D
|
||||
toolbar.button.selected.glyph = #FFFFF2
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #B7EAFF
|
||||
status.notice.bgcolor = #016E9F
|
||||
status.error.fgcolor = #FFFFF2
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #004BB5
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #003D96
|
||||
header.text.unselected.color = #4F6A80
|
||||
header.tab.arrow.color = #4F6A80
|
||||
header.tab.selected.color = #C4E9FF
|
||||
header.tab.unselected.color = #A6CAE5
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #6BA0C7
|
||||
header.gradient.bottom = #6BA0C7
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #004063
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #004063
|
||||
footer.gradient.top = #6BA0C7
|
||||
footer.gradient.bottom = #6BA0C7
|
||||
footer.tab.selected.color = #3E769D
|
||||
footer.tab.enabled.color = #6BA0C7
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #D1FFFF
|
||||
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
|
||||
console.output.color = #8C9495
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #00D7FF
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFF2
|
||||
|
||||
editor.gradient.top = #6BA0C7
|
||||
editor.gradient.bottom = #6BA0C7
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #D9FAFF
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #AAF8FF
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #3E769D
|
||||
editor.scrollbar.thumb.rollover.color = #2F6A90
|
||||
editor.scrollbar.thumb.pressed.color = #2F6A90
|
||||
editor.scrollbar.color = #5D93BA
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #00072B
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #3E769D
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #004BB5
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #C4E9FF
|
||||
manager.tab.unselected.color = #A6CAE5
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #003D96
|
||||
manager.tab.text.unselected.color = #4F6A80
|
||||
manager.tab.gradient.top = #6BA0C7
|
||||
manager.tab.gradient.bottom = #6BA0C7
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #6BA0C7
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #FFFFF2
|
||||
toolbar.gradient.top = #243028
|
||||
toolbar.gradient.bottom = #243028
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #97A697
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #243028
|
||||
mode.outline.color = #788779
|
||||
|
||||
toolbar.button.disabled.field = #F2FFEE
|
||||
toolbar.button.disabled.glyph = #DBECD8
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #17AD6A
|
||||
toolbar.button.enabled.glyph = #002F1C
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #001F0C
|
||||
toolbar.button.pressed.glyph = #2EE48F
|
||||
toolbar.button.pressed.stroke = #2EE48F
|
||||
toolbar.button.rollover.field = #2EE48F
|
||||
toolbar.button.rollover.glyph = #002F1C
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #FFFFF2
|
||||
toolbar.button.selected.glyph = #005D09
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #001108
|
||||
status.notice.bgcolor = #57695C
|
||||
status.error.fgcolor = #000000
|
||||
status.error.bgcolor = #FFFFF2
|
||||
status.warning.bgcolor = #17AD6A
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #56BE83
|
||||
header.text.unselected.color = #5D675D
|
||||
header.tab.arrow.color = #5D675D
|
||||
header.tab.selected.color = #000E05
|
||||
header.tab.unselected.color = #131D17
|
||||
header.tab.modified.color = #FFFFF2
|
||||
header.gradient.top = #243028
|
||||
header.gradient.bottom = #243028
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #FFFFF2
|
||||
footer.text.enabled.color = #97A697
|
||||
footer.icon.selected.color = #FFFFF2
|
||||
footer.icon.enabled.color = #97A697
|
||||
footer.gradient.top = #243028
|
||||
footer.gradient.bottom = #243028
|
||||
footer.tab.selected.color = #505F53
|
||||
footer.tab.enabled.color = #243028
|
||||
footer.updates.text.color = #FFFFF2
|
||||
footer.updates.indicator.field.color = #000500
|
||||
footer.updates.indicator.text.color = #F2FFEE
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #101410
|
||||
console.output.color = #7B7F77
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #59DD94
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #FFFFF2
|
||||
editor.bgcolor = #000000
|
||||
|
||||
editor.gradient.top = #243028
|
||||
editor.gradient.bottom = #243028
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #001900
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #FFFFF2
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #002600
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #505F53
|
||||
editor.scrollbar.thumb.rollover.color = #47554A
|
||||
editor.scrollbar.thumb.pressed.color = #47554A
|
||||
editor.scrollbar.color = #303E34
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #F2FFEE
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #505F53
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFF2
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #17AD6A
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #000E05
|
||||
manager.tab.unselected.color = #131D17
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #56BE83
|
||||
manager.tab.text.unselected.color = #5D675D
|
||||
manager.tab.gradient.top = #243028
|
||||
manager.tab.gradient.bottom = #243028
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #243028
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #94AC2C
|
||||
toolbar.gradient.bottom = #94AC2C
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #2B4500
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #94AC2C
|
||||
mode.outline.color = #425D00
|
||||
|
||||
toolbar.button.disabled.field = #000D00
|
||||
toolbar.button.disabled.glyph = #DBF270
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFF2
|
||||
toolbar.button.enabled.glyph = #7A9C00
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #7A9C00
|
||||
toolbar.button.pressed.glyph = #FFFFF2
|
||||
toolbar.button.pressed.stroke = #FFFFF2
|
||||
toolbar.button.rollover.field = #FFFFF2
|
||||
toolbar.button.rollover.glyph = #173200
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #101800
|
||||
toolbar.button.selected.glyph = #FFFFF2
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #D8EF6D
|
||||
status.notice.bgcolor = #547800
|
||||
status.error.fgcolor = #FFFFF2
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #144900
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #153B00
|
||||
header.text.unselected.color = #65722E
|
||||
header.tab.arrow.color = #65722E
|
||||
header.tab.selected.color = #DDED8C
|
||||
header.tab.unselected.color = #C0D072
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #94AC2C
|
||||
header.gradient.bottom = #94AC2C
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #2B4500
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #2B4500
|
||||
footer.gradient.top = #94AC2C
|
||||
footer.gradient.bottom = #94AC2C
|
||||
footer.tab.selected.color = #668000
|
||||
footer.tab.enabled.color = #94AC2C
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #F2FF85
|
||||
footer.updates.indicator.text.color = #000D00
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #363828
|
||||
console.output.color = #92947E
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #A0D800
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFF2
|
||||
|
||||
editor.gradient.top = #94AC2C
|
||||
editor.gradient.bottom = #94AC2C
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #F3FAC3
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #E8F894
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #668000
|
||||
editor.scrollbar.thumb.rollover.color = #597300
|
||||
editor.scrollbar.thumb.pressed.color = #597300
|
||||
editor.scrollbar.color = #849C18
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #000D00
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #668000
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #144900
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #DDED8C
|
||||
manager.tab.unselected.color = #C0D072
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #153B00
|
||||
manager.tab.text.unselected.color = #65722E
|
||||
manager.tab.gradient.top = #94AC2C
|
||||
manager.tab.gradient.bottom = #94AC2C
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #94AC2C
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #FFCC3A
|
||||
toolbar.gradient.bottom = #FFCC3A
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #6A4700
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #FFCC3A
|
||||
mode.outline.color = #8E6600
|
||||
|
||||
toolbar.button.disabled.field = #2D0000
|
||||
toolbar.button.disabled.glyph = #FFDF4F
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFF2
|
||||
toolbar.button.enabled.glyph = #B88900
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #B88900
|
||||
toolbar.button.pressed.glyph = #FFFFF2
|
||||
toolbar.button.pressed.stroke = #FFFFF2
|
||||
toolbar.button.rollover.field = #FFFFF2
|
||||
toolbar.button.rollover.glyph = #582700
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #2A1300
|
||||
toolbar.button.selected.glyph = #FFFFF2
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #FFEB5B
|
||||
status.notice.bgcolor = #B98500
|
||||
status.error.fgcolor = #FFFFF2
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #724400
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #613400
|
||||
header.text.unselected.color = #A9893D
|
||||
header.tab.arrow.color = #A9893D
|
||||
header.tab.selected.color = #FFEC84
|
||||
header.tab.unselected.color = #FFDE77
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #FFCC3A
|
||||
header.gradient.bottom = #FFCC3A
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #6A4700
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #6A4700
|
||||
footer.gradient.top = #FFCC3A
|
||||
footer.gradient.bottom = #FFCC3A
|
||||
footer.tab.selected.color = #C09000
|
||||
footer.tab.enabled.color = #FFCC3A
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #FFF666
|
||||
footer.updates.indicator.text.color = #2D0000
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #4B4331
|
||||
console.output.color = #A39982
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #FFBA00
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFF2
|
||||
|
||||
editor.gradient.top = #FFCC3A
|
||||
editor.gradient.bottom = #FFCC3A
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #FFF3C2
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #FFEB93
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #C09000
|
||||
editor.scrollbar.thumb.rollover.color = #AB7F00
|
||||
editor.scrollbar.thumb.pressed.color = #AB7F00
|
||||
editor.scrollbar.color = #EDB820
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #2D0000
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #C09000
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #724400
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #FFEC84
|
||||
manager.tab.unselected.color = #FFDE77
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #613400
|
||||
manager.tab.text.unselected.color = #A9893D
|
||||
manager.tab.gradient.top = #FFCC3A
|
||||
manager.tab.gradient.bottom = #FFCC3A
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #FFCC3A
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #FFFFF2
|
||||
toolbar.gradient.top = #00474E
|
||||
toolbar.gradient.bottom = #00474E
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #75B5B8
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #00474E
|
||||
mode.outline.color = #58979B
|
||||
|
||||
toolbar.button.disabled.field = #C9FFFF
|
||||
toolbar.button.disabled.glyph = #B2F3F3
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #99915B
|
||||
toolbar.button.enabled.glyph = #004353
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #002838
|
||||
toolbar.button.pressed.glyph = #D1C86F
|
||||
toolbar.button.pressed.stroke = #D1C86F
|
||||
toolbar.button.rollover.field = #D1C86F
|
||||
toolbar.button.rollover.glyph = #004353
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #FFFFF2
|
||||
toolbar.button.selected.glyph = #4C4800
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #001B21
|
||||
status.notice.bgcolor = #187D85
|
||||
status.error.fgcolor = #000000
|
||||
status.error.bgcolor = #FFFFF2
|
||||
status.warning.bgcolor = #99915B
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #AFA663
|
||||
header.text.unselected.color = #547778
|
||||
header.tab.arrow.color = #547778
|
||||
header.tab.selected.color = #00171C
|
||||
header.tab.unselected.color = #00292E
|
||||
header.tab.modified.color = #FFFFF2
|
||||
header.gradient.top = #00474E
|
||||
header.gradient.bottom = #00474E
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #FFFFF2
|
||||
footer.text.enabled.color = #75B5B8
|
||||
footer.icon.selected.color = #FFFFF2
|
||||
footer.icon.enabled.color = #75B5B8
|
||||
footer.gradient.top = #00474E
|
||||
footer.gradient.bottom = #00474E
|
||||
footer.tab.selected.color = #327378
|
||||
footer.tab.enabled.color = #00474E
|
||||
footer.updates.text.color = #FFFFF2
|
||||
footer.updates.indicator.field.color = #000E16
|
||||
footer.updates.indicator.text.color = #C9FFFF
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #131A1A
|
||||
console.output.color = #79827D
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #D0C78C
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #FFFFF2
|
||||
editor.bgcolor = #000000
|
||||
|
||||
editor.gradient.top = #00474E
|
||||
editor.gradient.bottom = #00474E
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #181100
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #FFFFF2
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #251C00
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #327378
|
||||
editor.scrollbar.thumb.rollover.color = #23676C
|
||||
editor.scrollbar.thumb.pressed.color = #23676C
|
||||
editor.scrollbar.color = #045359
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #C9FFFF
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #327378
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFF2
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #99915B
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #00171C
|
||||
manager.tab.unselected.color = #00292E
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #AFA663
|
||||
manager.tab.text.unselected.color = #547778
|
||||
manager.tab.gradient.top = #00474E
|
||||
manager.tab.gradient.bottom = #00474E
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #00474E
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
@@ -0,0 +1,225 @@
|
||||
# The gradient.top and gradient.bottom lines are used by makeGradient(),
|
||||
# so search for makeGradient() calls to see whether they're still in use.
|
||||
|
||||
|
||||
## EditorToolbar ##
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #EC6800
|
||||
toolbar.gradient.bottom = #EC6800
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #7D0000
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #EC6800
|
||||
mode.outline.color = #971E00
|
||||
|
||||
toolbar.button.disabled.field = #440000
|
||||
toolbar.button.disabled.glyph = #FFC05D
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFF2
|
||||
toolbar.button.enabled.glyph = #EA5C9B
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #EA5C9B
|
||||
toolbar.button.pressed.glyph = #FFFFF2
|
||||
toolbar.button.pressed.stroke = #FFFFF2
|
||||
toolbar.button.rollover.field = #FFFFF2
|
||||
toolbar.button.rollover.glyph = #46162C
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #340018
|
||||
toolbar.button.selected.glyph = #FFFFF2
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
toolbar.button.debug.disabled.glyph = #E4E8E4
|
||||
toolbar.button.debug.disabled.stroke = none
|
||||
toolbar.button.debug.enabled.field = #909699
|
||||
toolbar.button.debug.enabled.glyph = #DEE2DF
|
||||
toolbar.button.debug.enabled.stroke = none
|
||||
toolbar.button.debug.pressed.field = #909699
|
||||
toolbar.button.debug.pressed.glyph = #FFFFF2
|
||||
toolbar.button.debug.pressed.stroke = #60605B
|
||||
toolbar.button.debug.rollover.field = #5B6165
|
||||
toolbar.button.debug.rollover.glyph = #FFFFF2
|
||||
toolbar.button.debug.rollover.stroke = none
|
||||
toolbar.button.debug.selected.field = #FFFFF2
|
||||
toolbar.button.debug.selected.glyph = #0075FF
|
||||
toolbar.button.debug.selected.stroke = none
|
||||
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #FFBA57
|
||||
status.notice.bgcolor = #C12200
|
||||
status.error.fgcolor = #FFFFF2
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #662140
|
||||
status.warning.fgcolor = #FFFFF2
|
||||
status.url.fgcolor = #cccccc
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
|
||||
## EditorHeader - the tab area above the editor ##
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #5E0B36
|
||||
header.text.unselected.color = #984E1A
|
||||
header.tab.arrow.color = #984E1A
|
||||
header.tab.selected.color = #FFC67F
|
||||
header.tab.unselected.color = #FFA55F
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #EC6800
|
||||
header.gradient.bottom = #EC6800
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #7D0000
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #7D0000
|
||||
footer.gradient.top = #EC6800
|
||||
footer.gradient.bottom = #EC6800
|
||||
footer.tab.selected.color = #BC4000
|
||||
footer.tab.enabled.color = #EC6800
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #FFD773
|
||||
footer.updates.indicator.text.color = #440000
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
console.color = #402E22
|
||||
console.output.color = #A28B7A
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #FFAEC7
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFF2
|
||||
|
||||
editor.gradient.top = #EC6800
|
||||
editor.gradient.bottom = #EC6800
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #FFEAF0
|
||||
# highlight for the current line
|
||||
editor.linehighlight=true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #FFD6F0
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006699
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #BC4000
|
||||
editor.scrollbar.thumb.rollover.color = #AD3200
|
||||
editor.scrollbar.thumb.pressed.color = #AD3200
|
||||
editor.scrollbar.color = #DC5B00
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #440000
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #BC4000
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #662140
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #ff5355
|
||||
editor.column.warning.color = #fed456
|
||||
|
||||
|
||||
## ErrorTable - the list of errors in the second tab found in the console area ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #ebebeb
|
||||
errors.header.fgcolor = #484848
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #484848
|
||||
errors.row.bgcolor = #ffffff
|
||||
errors.selection.fgcolor = #242424
|
||||
errors.selection.bgcolor = #e5e5e5
|
||||
errors.selection.error.bgcolor = #f5e6e6
|
||||
errors.selection.warning.bgcolor = #fdf2e7
|
||||
errors.indicator.error.color = #9e0a0a
|
||||
errors.indicator.warning.color = #ef8115
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #FFC67F
|
||||
manager.tab.unselected.color = #FFA55F
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #5E0B36
|
||||
manager.tab.text.unselected.color = #984E1A
|
||||
manager.tab.gradient.top = #EC6800
|
||||
manager.tab.gradient.bottom = #EC6800
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #EC6800
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
tree.font = processing.sans,plain,12
|
||||
|
||||
|
||||
## Token - colors for source code in the editor ##
|
||||
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #006699,plain
|
||||
editor.token.function2.style = #006699,plain
|
||||
editor.token.function3.style = #669900,plain
|
||||
editor.token.function4.style = #006699,bold
|
||||
|
||||
editor.token.keyword1.style = #33997e,plain
|
||||
editor.token.keyword2.style = #33997e,plain
|
||||
editor.token.keyword3.style = #669900,plain
|
||||
editor.token.keyword4.style = #d94a7a,plain
|
||||
editor.token.keyword5.style = #e2661a,plain
|
||||
editor.token.keyword6.style = #33997e,plain
|
||||
|
||||
editor.token.literal1.style = #7D4793,plain
|
||||
editor.token.literal2.style = #718a62,plain
|
||||
|
||||
editor.token.operator.style = #006699,plain
|
||||
|
||||
editor.token.label.style = #666666,bold
|
||||
|
||||
editor.token.comment1.style = #666666,plain
|
||||
editor.token.comment2.style = #666666,plain
|
||||
|
||||
editor.token.invalid.style = #666666,bold
|
||||
Reference in New Issue
Block a user