mirror of
https://github.com/processing/processing4.git
synced 2026-06-16 04:26:26 +02:00
more alloys from Paul
This commit is contained in:
@@ -5,7 +5,7 @@
|
||||
## Look-and-Feel Entries ##
|
||||
|
||||
laf.mode = light
|
||||
laf.accent.color = #ABABAB
|
||||
laf.accent.color = #005592
|
||||
|
||||
# global color used in dialog boxes that have text links
|
||||
label.link.color = #cc0000
|
||||
@@ -15,38 +15,38 @@ label.link.color = #cc0000
|
||||
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #FFFFFE
|
||||
toolbar.gradient.top = #000000
|
||||
toolbar.gradient.bottom = #000000
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #BDD4FF
|
||||
toolbar.gradient.bottom = #BDD4FF
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #909090
|
||||
mode.title.color = #2B4F90
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #000000
|
||||
mode.outline.color = #6A6A6A
|
||||
mode.background.color = #BDD4FF
|
||||
mode.outline.color = #516EB3
|
||||
|
||||
mode.popup.enabled.fgcolor = #ABABAB
|
||||
mode.popup.enabled.bgcolor = #000000
|
||||
mode.popup.disabled.fgcolor = #525252
|
||||
mode.popup.disabled.bgcolor = #000000
|
||||
mode.popup.selected.fgcolor = #FFFFFE
|
||||
mode.popup.selected.bgcolor = #000000
|
||||
mode.popup.enabled.fgcolor = #3D445B
|
||||
mode.popup.enabled.bgcolor = #F0F6FF
|
||||
mode.popup.disabled.fgcolor = #9298B3
|
||||
mode.popup.disabled.bgcolor = #F0F6FF
|
||||
mode.popup.selected.fgcolor = #00003B
|
||||
mode.popup.selected.bgcolor = #BDD4FF
|
||||
|
||||
toolbar.button.disabled.field = #171717
|
||||
toolbar.button.disabled.glyph = #000000
|
||||
toolbar.button.disabled.field = #A6BEFF
|
||||
toolbar.button.disabled.glyph = #90A8F3
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #ABABAB
|
||||
toolbar.button.enabled.glyph = #000000
|
||||
toolbar.button.enabled.field = #FFFFFE
|
||||
toolbar.button.enabled.glyph = #00ADFF
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #000000
|
||||
toolbar.button.pressed.glyph = #D4D4D4
|
||||
toolbar.button.pressed.stroke = #D4D4D4
|
||||
toolbar.button.rollover.field = #D4D4D4
|
||||
toolbar.button.rollover.glyph = #000000
|
||||
toolbar.button.pressed.field = #0081ED
|
||||
toolbar.button.pressed.glyph = #FFFFFE
|
||||
toolbar.button.pressed.stroke = #FFFFFE
|
||||
toolbar.button.rollover.field = #FFFFFE
|
||||
toolbar.button.rollover.glyph = #0059A5
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #FFFFFE
|
||||
toolbar.button.selected.glyph = #525252
|
||||
toolbar.button.selected.field = #0059A5
|
||||
toolbar.button.selected.glyph = #FFFFFE
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
@@ -68,13 +68,13 @@ toolbar.button.debug.selected.stroke = none
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #D7D7D7
|
||||
status.notice.bgcolor = #464646
|
||||
status.error.fgcolor = #303030
|
||||
status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #ABABAB
|
||||
status.warning.fgcolor = #232323
|
||||
status.url.fgcolor = #000000
|
||||
status.notice.fgcolor = #232323
|
||||
status.notice.bgcolor = #ABABAB
|
||||
status.error.fgcolor = #FFFFFE
|
||||
status.error.bgcolor = #C40000
|
||||
status.warning.bgcolor = #005592
|
||||
status.warning.fgcolor = #72DFFF
|
||||
status.url.fgcolor = #FFFFFE
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
status.emoji.font = Dialog,plain,22
|
||||
@@ -84,64 +84,64 @@ 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 = #BBBBBB
|
||||
header.text.unselected.color = #464646
|
||||
header.tab.arrow.color = #464646
|
||||
header.tab.selected.color = #000000
|
||||
header.tab.unselected.color = #000000
|
||||
header.tab.modified.color = #FFFFFE
|
||||
header.gradient.top = #000000
|
||||
header.gradient.bottom = #000000
|
||||
header.text.selected.color = #004586
|
||||
header.text.unselected.color = #848FBB
|
||||
header.tab.arrow.color = #848FBB
|
||||
header.tab.selected.color = #E4F2FF
|
||||
header.tab.unselected.color = #D8E6FF
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #BDD4FF
|
||||
header.gradient.bottom = #BDD4FF
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #FFFFFE
|
||||
footer.text.enabled.color = #909090
|
||||
footer.icon.selected.color = #FFFFFE
|
||||
footer.icon.enabled.color = #909090
|
||||
footer.gradient.top = #000000
|
||||
footer.gradient.bottom = #000000
|
||||
footer.tab.selected.color = #3B3B3B
|
||||
footer.tab.enabled.color = #000000
|
||||
footer.updates.text.color = #FFFFFE
|
||||
footer.updates.indicator.field.color = #000000
|
||||
footer.updates.indicator.text.color = #FFFFFE
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #5E5E5E
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #5E5E5E
|
||||
footer.gradient.top = #FFFFFE
|
||||
footer.gradient.bottom = #FFFFFE
|
||||
footer.tab.selected.color = #B8B8B8
|
||||
footer.tab.enabled.color = #FFFFFE
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #FFFFFE
|
||||
footer.updates.indicator.text.color = #000000
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
|
||||
console.color = #000000
|
||||
console.color = #323232
|
||||
# color of System.out text
|
||||
console.output.color = #909090
|
||||
console.output.color = #A6A6A6
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #B8B8B8
|
||||
console.error.color = #00C3FF
|
||||
|
||||
console.scrollbar.thumb.enabled.color = #3B3B3B
|
||||
console.scrollbar.thumb.enabled.color = #606060
|
||||
console.scrollbar.thumb.rollover.color = #2F6A90
|
||||
console.scrollbar.thumb.pressed.color = #2F6A90
|
||||
console.scrollbar.color = #000000
|
||||
console.scrollbar.color = #292929
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
|
||||
# foreground and background colors
|
||||
editor.fgcolor = #FFFFFE
|
||||
editor.bgcolor = #000000
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFFE
|
||||
|
||||
editor.gradient.top = #000000
|
||||
editor.gradient.bottom = #000000
|
||||
editor.gradient.top = #BDD4FF
|
||||
editor.gradient.bottom = #FFFFFE
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #131313
|
||||
editor.linehighlight.color = #E4F1FF
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #272727
|
||||
editor.selection.color = #C6D5EF
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
@@ -149,135 +149,135 @@ editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #ABABAB
|
||||
editor.brackethighlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #3B3B3B
|
||||
editor.scrollbar.thumb.rollover.color = #353535
|
||||
editor.scrollbar.thumb.pressed.color = #353535
|
||||
editor.scrollbar.color = #161616
|
||||
editor.scrollbar.thumb.enabled.color = #B8B8B8
|
||||
editor.scrollbar.thumb.rollover.color = #A4A4A4
|
||||
editor.scrollbar.thumb.pressed.color = #A4A4A4
|
||||
editor.scrollbar.color = #E9E9E9
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #FFFFFE
|
||||
editor.gutter.text.color = #00003B
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #3B3B3B
|
||||
editor.gutter.linehighlight.color = #809AE3
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
editor.error.underline.color = #FF002C
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #ABABAB
|
||||
editor.warning.underline.color = #005592
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #FFFFFE
|
||||
editor.column.warning.color = #3B3B3B
|
||||
editor.column.error.color = #BE0000
|
||||
editor.column.warning.color = #E6FCFF
|
||||
|
||||
|
||||
## ErrorTable - second tab below the console area, lists errors and warnings ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #000000
|
||||
errors.header.fgcolor = #909090
|
||||
errors.bgcolor = #000000
|
||||
errors.header.bgcolor = #303030
|
||||
errors.header.fgcolor = #A5A5A5
|
||||
errors.bgcolor = #767676
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #B8B8B8
|
||||
errors.row.bgcolor = #000000
|
||||
errors.row.fgcolor = #DBDBDB
|
||||
errors.row.bgcolor = #767676
|
||||
errors.selection.fgcolor = #FFFFFE
|
||||
errors.selection.bgcolor = #525252
|
||||
errors.selection.bgcolor = #A5A5A5
|
||||
errors.selection.error.bgcolor = #FFFFFE
|
||||
errors.selection.warning.bgcolor = #A4A4A4
|
||||
errors.indicator.error.color = #B8B8B8
|
||||
errors.indicator.warning.color = #464646
|
||||
errors.selection.warning.bgcolor = #4F4F4F
|
||||
errors.indicator.error.color = #DBDBDB
|
||||
errors.indicator.warning.color = #525252
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #252525
|
||||
manager.tab.unselected.color = #161616
|
||||
manager.tab.selected.color = #E4F2FF
|
||||
manager.tab.unselected.color = #BCCBFF
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #FFFFFE
|
||||
manager.tab.text.unselected.color = #808080
|
||||
manager.tab.gradient.top = #000000
|
||||
manager.tab.gradient.bottom = #000000
|
||||
manager.tab.text.selected.color = #000000
|
||||
manager.tab.text.unselected.color = #4D5F92
|
||||
manager.tab.gradient.top = #8CA5F0
|
||||
manager.tab.gradient.bottom = #8CA5F0
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #000000
|
||||
manager.tab.background = #8CA5F0
|
||||
|
||||
|
||||
## ContributionTab
|
||||
|
||||
# category chooser for libraries
|
||||
manager.categories.enabled.fgcolor = #1B1B1B
|
||||
manager.categories.enabled.bgcolor = #767676
|
||||
manager.categories.disabled.fgcolor = #2B2B2B
|
||||
manager.categories.disabled.bgcolor = #767676
|
||||
manager.categories.selected.fgcolor = #333333
|
||||
manager.categories.selected.bgcolor = #D7D7D7
|
||||
manager.categories.enabled.fgcolor = #C7DCFF
|
||||
manager.categories.enabled.bgcolor = #4B65A5
|
||||
manager.categories.disabled.fgcolor = #405C9A
|
||||
manager.categories.disabled.bgcolor = #4B65A5
|
||||
manager.categories.selected.fgcolor = #003B89
|
||||
manager.categories.selected.bgcolor = #95E8FF
|
||||
|
||||
|
||||
# error window (X) close button
|
||||
manager.error.close.icon.color = #000000
|
||||
|
||||
manager.scrollbar.thumb.enabled.color = #454545
|
||||
manager.scrollbar.thumb.rollover.color = #555555
|
||||
manager.scrollbar.thumb.pressed.color = #555555
|
||||
manager.scrollbar.color = #292929
|
||||
manager.scrollbar.thumb.enabled.color = #B6C5FE
|
||||
manager.scrollbar.thumb.rollover.color = #A0AFE7
|
||||
manager.scrollbar.thumb.pressed.color = #A0AFE7
|
||||
manager.scrollbar.color = #DEEDFF
|
||||
|
||||
manager.search.text.color = #FFFFFE
|
||||
manager.search.icon.color = #909090
|
||||
manager.search.background.color = #000000
|
||||
manager.search.caret.color = #B8B8B8
|
||||
manager.search.placeholder.color = #909090
|
||||
manager.search.selection.text.color = #FFFFFE
|
||||
manager.search.selection.background.color = #303030
|
||||
manager.search.text.color = #000000
|
||||
manager.search.icon.color = #4C5C8C
|
||||
manager.search.background.color = #BAC8FF
|
||||
manager.search.caret.color = #00346C
|
||||
manager.search.placeholder.color = #4C5C8C
|
||||
manager.search.selection.text.color = #000000
|
||||
manager.search.selection.background.color = #7E9BEB
|
||||
|
||||
|
||||
## ListPanel – the listing inside a Contribution Manager tab ##
|
||||
|
||||
manager.list.heavy.font = processing.sans,bold,14
|
||||
manager.list.background.color = #252525
|
||||
manager.list.header.fgcolor = #CECECE
|
||||
manager.list.header.bgcolor = #303030
|
||||
manager.list.section.color = #252525
|
||||
manager.list.selection.color = #747474
|
||||
manager.list.icon.color = #CECECE
|
||||
manager.list.text.color = #FFFFFE
|
||||
manager.list.foundation.color = #CECECE
|
||||
manager.list.incompatible.selection.color = #414141
|
||||
manager.list.incompatible.text.color = #878787
|
||||
manager.list.background.color = #E4F2FF
|
||||
manager.list.header.fgcolor = #002E71
|
||||
manager.list.header.bgcolor = #D5E4FF
|
||||
manager.list.section.color = #E4F2FF
|
||||
manager.list.selection.color = #8CA2E7
|
||||
manager.list.icon.color = #003485
|
||||
manager.list.text.color = #000000
|
||||
manager.list.foundation.color = #003480
|
||||
manager.list.incompatible.selection.color = #CCD7FF
|
||||
manager.list.incompatible.text.color = #757B94
|
||||
|
||||
|
||||
## StatusPanel - the bottom panel with detail about a contribution
|
||||
|
||||
manager.panel.font = processing.sans,plain,11
|
||||
manager.panel.background.color = #464646
|
||||
manager.panel.background.color = #667EC0
|
||||
manager.panel.text.color = #FFFFFE
|
||||
manager.panel.link.color = #D7D7D7
|
||||
manager.panel.foundation.color = #E4E4E4
|
||||
manager.panel.link.color = #95E8FF
|
||||
manager.panel.foundation.color = #7AF3FF
|
||||
|
||||
manager.button.enabled.background.color = #2B2B2B
|
||||
manager.button.enabled.background.color = #2A4A86
|
||||
manager.button.enabled.text.color = #FFFFFE
|
||||
manager.button.enabled.icon.color = #D7D7D7
|
||||
manager.button.pressed.background.color = #131313
|
||||
manager.button.pressed.text.color = #D7D7D7
|
||||
manager.button.pressed.icon.color = #D7D7D7
|
||||
manager.button.disabled.background.color = #393939
|
||||
manager.button.disabled.text.color = #A9A9A9
|
||||
manager.button.disabled.icon.color = #A9A9A9
|
||||
manager.button.enabled.icon.color = #95E8FF
|
||||
manager.button.pressed.background.color = #001C50
|
||||
manager.button.pressed.text.color = #95E8FF
|
||||
manager.button.pressed.icon.color = #95E8FF
|
||||
manager.button.disabled.background.color = #4963A3
|
||||
manager.button.disabled.text.color = #B9BDD3
|
||||
manager.button.disabled.icon.color = #B9BDD3
|
||||
|
||||
manager.progress.complete.fgcolor = #FFFFFE
|
||||
manager.progress.complete.bgcolor = #B0B0B0
|
||||
manager.progress.incomplete.fgcolor = #A9A9A9
|
||||
manager.progress.incomplete.bgcolor = #131313
|
||||
manager.progress.complete.bgcolor = #77CFFF
|
||||
manager.progress.incomplete.fgcolor = #B9BDD3
|
||||
manager.progress.incomplete.bgcolor = #001C50
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
@@ -308,26 +308,26 @@ theme_selector.link.color = #8080ff
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #ABABAB,plain
|
||||
editor.token.function2.style = #ABABAB,plain
|
||||
editor.token.function3.style = #909090,plain
|
||||
editor.token.function4.style = #ABABAB,bold
|
||||
editor.token.function1.style = #006698,plain
|
||||
editor.token.function2.style = #006698,plain
|
||||
editor.token.function3.style = #6D9810,plain
|
||||
editor.token.function4.style = #006698,bold
|
||||
|
||||
editor.token.keyword1.style = #6A6A6A,plain
|
||||
editor.token.keyword2.style = #6A6A6A,plain
|
||||
editor.token.keyword3.style = #909090,plain
|
||||
editor.token.keyword4.style = #767676,plain
|
||||
editor.token.keyword5.style = #ABABAB,plain
|
||||
editor.token.keyword6.style = #6A6A6A,plain
|
||||
editor.token.keyword1.style = #30987F,plain
|
||||
editor.token.keyword2.style = #30987F,plain
|
||||
editor.token.keyword3.style = #6D9810,plain
|
||||
editor.token.keyword4.style = #DB4D7A,plain
|
||||
editor.token.keyword5.style = #E7671C,plain
|
||||
editor.token.keyword6.style = #30987F,plain
|
||||
|
||||
editor.token.literal1.style = #767676,plain
|
||||
editor.token.literal2.style = #525252,plain
|
||||
editor.token.literal1.style = #738A63,plain
|
||||
editor.token.literal2.style = #754891,plain
|
||||
|
||||
editor.token.operator.style = #ABABAB,plain
|
||||
editor.token.operator.style = #006698,plain
|
||||
|
||||
editor.token.label.style = #5E5E5E,bold
|
||||
editor.token.label.style = #656565,bold
|
||||
|
||||
editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
@@ -68,8 +68,8 @@ toolbar.button.debug.selected.stroke = none
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #1A1E1C
|
||||
status.notice.bgcolor = #828783
|
||||
status.notice.fgcolor = #DCE7B1
|
||||
status.notice.bgcolor = #6E7949
|
||||
status.error.fgcolor = #293700
|
||||
status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #86A100
|
||||
@@ -98,31 +98,31 @@ header.gradient.bottom = #0A1900
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #FFFFFE
|
||||
footer.text.enabled.color = #B4B9B6
|
||||
footer.text.enabled.color = #A9B188
|
||||
footer.icon.selected.color = #FFFFFE
|
||||
footer.icon.enabled.color = #B4B9B6
|
||||
footer.gradient.top = #545755
|
||||
footer.gradient.bottom = #545755
|
||||
footer.tab.selected.color = #7B7E7C
|
||||
footer.tab.enabled.color = #545755
|
||||
footer.icon.enabled.color = #A9B188
|
||||
footer.gradient.top = #3B4320
|
||||
footer.gradient.bottom = #3B4320
|
||||
footer.tab.selected.color = #666E49
|
||||
footer.tab.enabled.color = #3B4320
|
||||
footer.updates.text.color = #FFFFFE
|
||||
footer.updates.indicator.field.color = #000100
|
||||
footer.updates.indicator.text.color = #FBFFFC
|
||||
footer.updates.indicator.field.color = #000500
|
||||
footer.updates.indicator.text.color = #FBFFD7
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
|
||||
console.color = #1D2720
|
||||
console.color = #1F1F1F
|
||||
# color of System.out text
|
||||
console.output.color = #96A39A
|
||||
console.output.color = #9A9D90
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #A6C600
|
||||
|
||||
console.scrollbar.thumb.enabled.color = #4C574F
|
||||
console.scrollbar.thumb.enabled.color = #4C4F43
|
||||
console.scrollbar.thumb.rollover.color = #2F6A90
|
||||
console.scrollbar.thumb.pressed.color = #2F6A90
|
||||
console.scrollbar.color = #17211A
|
||||
console.scrollbar.color = #18190F
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
@@ -132,10 +132,10 @@ editor.fgcolor = #FFFFFE
|
||||
editor.bgcolor = #000000
|
||||
|
||||
editor.gradient.top = #0A1900
|
||||
editor.gradient.bottom = #545755
|
||||
editor.gradient.bottom = #3B4320
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #1D1A00
|
||||
editor.linehighlight.color = #1B1B1B
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
|
||||
@@ -152,10 +152,10 @@ editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #3ABDAF
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #7B7E7C
|
||||
editor.scrollbar.thumb.rollover.color = #6D716E
|
||||
editor.scrollbar.thumb.pressed.color = #6D716E
|
||||
editor.scrollbar.color = #5F6360
|
||||
editor.scrollbar.thumb.enabled.color = #666E49
|
||||
editor.scrollbar.thumb.rollover.color = #5B633E
|
||||
editor.scrollbar.thumb.pressed.color = #5B633E
|
||||
editor.scrollbar.color = #47502C
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
@@ -182,18 +182,18 @@ editor.column.warning.color = #414F3B
|
||||
## ErrorTable - second tab below the console area, lists errors and warnings ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #141615
|
||||
errors.header.fgcolor = #979897
|
||||
errors.bgcolor = #2A2D2B
|
||||
errors.header.bgcolor = #101400
|
||||
errors.header.fgcolor = #959788
|
||||
errors.bgcolor = #1E2500
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #C2C6C3
|
||||
errors.row.bgcolor = #2A2D2B
|
||||
errors.row.fgcolor = #BFC5A5
|
||||
errors.row.bgcolor = #1E2500
|
||||
errors.selection.fgcolor = #FFFFFE
|
||||
errors.selection.bgcolor = #4B6900
|
||||
errors.selection.bgcolor = #456200
|
||||
errors.selection.error.bgcolor = #FFFFFE
|
||||
errors.selection.warning.bgcolor = #A7B329
|
||||
errors.indicator.error.color = #C2C6C3
|
||||
errors.indicator.warning.color = #626663
|
||||
errors.selection.warning.bgcolor = #A3B025
|
||||
errors.indicator.error.color = #BFC5A5
|
||||
errors.indicator.warning.color = #58603B
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
## Look-and-Feel Entries ##
|
||||
|
||||
laf.mode = light
|
||||
laf.accent.color = #00BFC2
|
||||
laf.accent.color = #8AB2FF
|
||||
|
||||
# global color used in dialog boxes that have text links
|
||||
label.link.color = #cc0000
|
||||
@@ -16,37 +16,37 @@ label.link.color = #cc0000
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #FFFFFE
|
||||
toolbar.gradient.top = #004B4E
|
||||
toolbar.gradient.bottom = #004B4E
|
||||
toolbar.gradient.top = #001F4A
|
||||
toolbar.gradient.bottom = #001F4A
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #00C2C1
|
||||
mode.title.color = #899BD4
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #004B4E
|
||||
mode.outline.color = #00A2A2
|
||||
mode.background.color = #001F4A
|
||||
mode.outline.color = #6579AF
|
||||
|
||||
mode.popup.enabled.fgcolor = #81B7B6
|
||||
mode.popup.enabled.bgcolor = #001615
|
||||
mode.popup.disabled.fgcolor = #2A605F
|
||||
mode.popup.disabled.bgcolor = #001615
|
||||
mode.popup.selected.fgcolor = #51FFFF
|
||||
mode.popup.selected.bgcolor = #004B4E
|
||||
mode.popup.enabled.fgcolor = #A6ABC1
|
||||
mode.popup.enabled.bgcolor = #00051A
|
||||
mode.popup.disabled.fgcolor = #4F5467
|
||||
mode.popup.disabled.bgcolor = #00051A
|
||||
mode.popup.selected.fgcolor = #EBFDFF
|
||||
mode.popup.selected.bgcolor = #001F4A
|
||||
|
||||
toolbar.button.disabled.field = #005F61
|
||||
toolbar.button.disabled.glyph = #004B4E
|
||||
toolbar.button.disabled.field = #0E2F5D
|
||||
toolbar.button.disabled.glyph = #001F4A
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #00BFC2
|
||||
toolbar.button.enabled.glyph = #00454A
|
||||
toolbar.button.enabled.field = #8AB2FF
|
||||
toolbar.button.enabled.glyph = #001D58
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #002E31
|
||||
toolbar.button.pressed.glyph = #00EDED
|
||||
toolbar.button.pressed.stroke = #00EDED
|
||||
toolbar.button.rollover.field = #00EDED
|
||||
toolbar.button.rollover.glyph = #00454A
|
||||
toolbar.button.pressed.field = #00124B
|
||||
toolbar.button.pressed.glyph = #A3D6FF
|
||||
toolbar.button.pressed.stroke = #A3D6FF
|
||||
toolbar.button.rollover.field = #A3D6FF
|
||||
toolbar.button.rollover.glyph = #001D58
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #FFFFFE
|
||||
toolbar.button.selected.glyph = #00697B
|
||||
toolbar.button.selected.glyph = #0056D3
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
@@ -68,12 +68,12 @@ toolbar.button.debug.selected.stroke = none
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #5EF1D9
|
||||
status.notice.bgcolor = #006755
|
||||
status.error.fgcolor = #00434E
|
||||
status.notice.fgcolor = #002587
|
||||
status.notice.bgcolor = #008AFF
|
||||
status.error.fgcolor = #0033A6
|
||||
status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #00BFC2
|
||||
status.warning.fgcolor = #003136
|
||||
status.warning.bgcolor = #8AB2FF
|
||||
status.warning.fgcolor = #00288C
|
||||
status.url.fgcolor = #000000
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
@@ -84,45 +84,45 @@ 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 = #00D3D6
|
||||
header.text.unselected.color = #017D7C
|
||||
header.tab.arrow.color = #017D7C
|
||||
header.tab.selected.color = #001F1D
|
||||
header.tab.unselected.color = #002E30
|
||||
header.text.selected.color = #94C1FF
|
||||
header.text.unselected.color = #4F5978
|
||||
header.tab.arrow.color = #4F5978
|
||||
header.tab.selected.color = #00072A
|
||||
header.tab.unselected.color = #001433
|
||||
header.tab.modified.color = #FFFFFE
|
||||
header.gradient.top = #004B4E
|
||||
header.gradient.bottom = #004B4E
|
||||
header.gradient.top = #001F4A
|
||||
header.gradient.bottom = #001F4A
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #FFFFFE
|
||||
footer.text.enabled.color = #3AAC99
|
||||
footer.text.enabled.color = #71BAFF
|
||||
footer.icon.selected.color = #FFFFFE
|
||||
footer.icon.enabled.color = #3AAC99
|
||||
footer.gradient.top = #00261A
|
||||
footer.gradient.bottom = #00261A
|
||||
footer.tab.selected.color = #00594B
|
||||
footer.tab.enabled.color = #00261A
|
||||
footer.icon.enabled.color = #71BAFF
|
||||
footer.gradient.top = #005BB8
|
||||
footer.gradient.bottom = #005BB8
|
||||
footer.tab.selected.color = #0E81E4
|
||||
footer.tab.enabled.color = #005BB8
|
||||
footer.updates.text.color = #FFFFFE
|
||||
footer.updates.indicator.field.color = #001600
|
||||
footer.updates.indicator.text.color = #A6FFFD
|
||||
footer.updates.indicator.field.color = #000554
|
||||
footer.updates.indicator.text.color = #C0FFFF
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
|
||||
console.color = #00110D
|
||||
console.color = #22262F
|
||||
# color of System.out text
|
||||
console.output.color = #889894
|
||||
console.output.color = #9CA0AB
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #00E2EA
|
||||
console.error.color = #00B7FF
|
||||
|
||||
console.scrollbar.thumb.enabled.color = #364441
|
||||
console.scrollbar.thumb.enabled.color = #51555F
|
||||
console.scrollbar.thumb.rollover.color = #2F6A90
|
||||
console.scrollbar.thumb.pressed.color = #2F6A90
|
||||
console.scrollbar.color = #000F0B
|
||||
console.scrollbar.color = #1C1F28
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
@@ -131,17 +131,17 @@ console.scrollbar.color = #000F0B
|
||||
editor.fgcolor = #FFFFFE
|
||||
editor.bgcolor = #000000
|
||||
|
||||
editor.gradient.top = #004B4E
|
||||
editor.gradient.bottom = #00261A
|
||||
editor.gradient.top = #001F4A
|
||||
editor.gradient.bottom = #005BB8
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #002B2D
|
||||
editor.linehighlight.color = #00193B
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #004346
|
||||
editor.selection.color = #072D5C
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
@@ -149,135 +149,135 @@ editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #46B5F0
|
||||
editor.brackethighlight.color = #E691BC
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #00594B
|
||||
editor.scrollbar.thumb.rollover.color = #005244
|
||||
editor.scrollbar.thumb.pressed.color = #005244
|
||||
editor.scrollbar.color = #003428
|
||||
editor.scrollbar.thumb.enabled.color = #0E81E4
|
||||
editor.scrollbar.thumb.rollover.color = #0074D4
|
||||
editor.scrollbar.thumb.pressed.color = #0074D4
|
||||
editor.scrollbar.color = #0066C5
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #51FFFF
|
||||
editor.gutter.text.color = #EBFDFF
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #007A7B
|
||||
editor.gutter.linehighlight.color = #374E81
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #00BFC2
|
||||
editor.warning.underline.color = #8AB2FF
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #FFFFFE
|
||||
editor.column.warning.color = #008B8B
|
||||
editor.column.warning.color = #3F5688
|
||||
|
||||
|
||||
## ErrorTable - second tab below the console area, lists errors and warnings ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #001706
|
||||
errors.header.fgcolor = #779992
|
||||
errors.bgcolor = #001F0F
|
||||
errors.header.bgcolor = #001952
|
||||
errors.header.fgcolor = #8898BE
|
||||
errors.bgcolor = #003184
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #7DCABB
|
||||
errors.row.bgcolor = #001F0F
|
||||
errors.row.fgcolor = #9BC6FF
|
||||
errors.row.bgcolor = #003184
|
||||
errors.selection.fgcolor = #FFFFFE
|
||||
errors.selection.bgcolor = #006A72
|
||||
errors.selection.bgcolor = #346CC2
|
||||
errors.selection.error.bgcolor = #FFFFFE
|
||||
errors.selection.warning.bgcolor = #00C1C3
|
||||
errors.indicator.error.color = #7DCABB
|
||||
errors.indicator.warning.color = #005C4D
|
||||
errors.selection.warning.bgcolor = #70B1FF
|
||||
errors.indicator.error.color = #9BC6FF
|
||||
errors.indicator.warning.color = #0068C7
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #004B4E
|
||||
manager.tab.unselected.color = #002C2E
|
||||
manager.tab.selected.color = #002551
|
||||
manager.tab.unselected.color = #001637
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #FFFFFE
|
||||
manager.tab.text.unselected.color = #009897
|
||||
manager.tab.gradient.top = #001F1D
|
||||
manager.tab.gradient.bottom = #001F1D
|
||||
manager.tab.text.unselected.color = #717FAA
|
||||
manager.tab.gradient.top = #00072A
|
||||
manager.tab.gradient.bottom = #00072A
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #001F1D
|
||||
manager.tab.background = #00072A
|
||||
|
||||
|
||||
## ContributionTab
|
||||
|
||||
# category chooser for libraries
|
||||
manager.categories.enabled.fgcolor = #002E32
|
||||
manager.categories.enabled.bgcolor = #00A8A8
|
||||
manager.categories.disabled.fgcolor = #004348
|
||||
manager.categories.disabled.bgcolor = #00A8A8
|
||||
manager.categories.selected.fgcolor = #004853
|
||||
manager.categories.selected.bgcolor = #00FFFF
|
||||
manager.categories.enabled.fgcolor = #001B50
|
||||
manager.categories.enabled.bgcolor = #5875B7
|
||||
manager.categories.disabled.fgcolor = #002B63
|
||||
manager.categories.disabled.bgcolor = #5875B7
|
||||
manager.categories.selected.fgcolor = #00348B
|
||||
manager.categories.selected.bgcolor = #A4D4FF
|
||||
|
||||
|
||||
# error window (X) close button
|
||||
manager.error.close.icon.color = #000000
|
||||
|
||||
manager.scrollbar.thumb.enabled.color = #006B6D
|
||||
manager.scrollbar.thumb.rollover.color = #007B7C
|
||||
manager.scrollbar.thumb.pressed.color = #007B7C
|
||||
manager.scrollbar.color = #004F52
|
||||
manager.scrollbar.thumb.enabled.color = #2B4475
|
||||
manager.scrollbar.thumb.rollover.color = #3E5487
|
||||
manager.scrollbar.thumb.pressed.color = #3E5487
|
||||
manager.scrollbar.color = #012956
|
||||
|
||||
manager.search.text.color = #FFFFFE
|
||||
manager.search.icon.color = #00A5A4
|
||||
manager.search.background.color = #001B16
|
||||
manager.search.caret.color = #00D9DB
|
||||
manager.search.placeholder.color = #00A5A4
|
||||
manager.search.icon.color = #7D8FC4
|
||||
manager.search.background.color = #00002D
|
||||
manager.search.caret.color = #8EB6FF
|
||||
manager.search.placeholder.color = #7D8FC4
|
||||
manager.search.selection.text.color = #FFFFFE
|
||||
manager.search.selection.background.color = #004046
|
||||
manager.search.selection.background.color = #003072
|
||||
|
||||
|
||||
## ListPanel – the listing inside a Contribution Manager tab ##
|
||||
|
||||
manager.list.heavy.font = processing.sans,bold,14
|
||||
manager.list.background.color = #004B4E
|
||||
manager.list.header.fgcolor = #00F1F1
|
||||
manager.list.header.bgcolor = #005759
|
||||
manager.list.section.color = #004B4E
|
||||
manager.list.selection.color = #009A9B
|
||||
manager.list.icon.color = #00FAFD
|
||||
manager.list.background.color = #002551
|
||||
manager.list.header.fgcolor = #ACCCFF
|
||||
manager.list.header.bgcolor = #0E2F5D
|
||||
manager.list.section.color = #002551
|
||||
manager.list.selection.color = #5573B5
|
||||
manager.list.icon.color = #8DCCFF
|
||||
manager.list.text.color = #FFFFFE
|
||||
manager.list.foundation.color = #00F8FA
|
||||
manager.list.incompatible.selection.color = #006464
|
||||
manager.list.incompatible.text.color = #58A19F
|
||||
manager.list.foundation.color = #9BCCFF
|
||||
manager.list.incompatible.selection.color = #304067
|
||||
manager.list.incompatible.text.color = #8087A1
|
||||
|
||||
|
||||
## StatusPanel - the bottom panel with detail about a contribution
|
||||
|
||||
manager.panel.font = processing.sans,plain,11
|
||||
manager.panel.background.color = #007274
|
||||
manager.panel.background.color = #1C4582
|
||||
manager.panel.text.color = #FFFFFE
|
||||
manager.panel.link.color = #00FFFF
|
||||
manager.panel.foundation.color = #00FFFF
|
||||
manager.panel.link.color = #A4D4FF
|
||||
manager.panel.foundation.color = #9EE1FF
|
||||
|
||||
manager.button.enabled.background.color = #00494E
|
||||
manager.button.enabled.background.color = #002B63
|
||||
manager.button.enabled.text.color = #FFFFFE
|
||||
manager.button.enabled.icon.color = #00FFFF
|
||||
manager.button.pressed.background.color = #00292A
|
||||
manager.button.pressed.text.color = #00FFFF
|
||||
manager.button.pressed.icon.color = #00FFFF
|
||||
manager.button.disabled.background.color = #005D61
|
||||
manager.button.disabled.text.color = #8BBBBA
|
||||
manager.button.disabled.icon.color = #8BBBBA
|
||||
manager.button.enabled.icon.color = #A4D4FF
|
||||
manager.button.pressed.background.color = #001346
|
||||
manager.button.pressed.text.color = #A4D4FF
|
||||
manager.button.pressed.icon.color = #A4D4FF
|
||||
manager.button.disabled.background.color = #003873
|
||||
manager.button.disabled.text.color = #A4A9BE
|
||||
manager.button.disabled.icon.color = #A4A9BE
|
||||
|
||||
manager.progress.complete.fgcolor = #FFFFFE
|
||||
manager.progress.complete.bgcolor = #00DDE1
|
||||
manager.progress.incomplete.fgcolor = #8BBBBA
|
||||
manager.progress.incomplete.bgcolor = #00292A
|
||||
manager.progress.complete.bgcolor = #78AEFF
|
||||
manager.progress.incomplete.fgcolor = #A4A9BE
|
||||
manager.progress.incomplete.bgcolor = #001346
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
@@ -308,22 +308,22 @@ theme_selector.link.color = #8080ff
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #46B5F0,plain
|
||||
editor.token.function2.style = #46B5F0,plain
|
||||
editor.token.function3.style = #CF42FF,plain
|
||||
editor.token.function4.style = #46B5F0,bold
|
||||
editor.token.function1.style = #E691BC,plain
|
||||
editor.token.function2.style = #E691BC,plain
|
||||
editor.token.function3.style = #00B5F8,plain
|
||||
editor.token.function4.style = #E691BC,bold
|
||||
|
||||
editor.token.keyword1.style = #0064ED,plain
|
||||
editor.token.keyword2.style = #0064ED,plain
|
||||
editor.token.keyword3.style = #CF42FF,plain
|
||||
editor.token.keyword4.style = #DA3752,plain
|
||||
editor.token.keyword5.style = #FF3F00,plain
|
||||
editor.token.keyword6.style = #0064ED,plain
|
||||
editor.token.keyword1.style = #D8004F,plain
|
||||
editor.token.keyword2.style = #D8004F,plain
|
||||
editor.token.keyword3.style = #00B5F8,plain
|
||||
editor.token.keyword4.style = #DD3632,plain
|
||||
editor.token.keyword5.style = #F89300,plain
|
||||
editor.token.keyword6.style = #D8004F,plain
|
||||
|
||||
editor.token.literal1.style = #008A54,plain
|
||||
editor.token.literal2.style = #006E8A,plain
|
||||
editor.token.literal1.style = #0083CD,plain
|
||||
editor.token.literal2.style = #1A2CF1,plain
|
||||
|
||||
editor.token.operator.style = #46B5F0,plain
|
||||
editor.token.operator.style = #E691BC,plain
|
||||
|
||||
editor.token.label.style = #5E5E5E,bold
|
||||
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
## Look-and-Feel Entries ##
|
||||
|
||||
laf.mode = light
|
||||
laf.accent.color = #FF98FC
|
||||
laf.accent.color = #EA9EFF
|
||||
|
||||
# global color used in dialog boxes that have text links
|
||||
label.link.color = #cc0000
|
||||
@@ -16,37 +16,37 @@ label.link.color = #cc0000
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #FFFFFE
|
||||
toolbar.gradient.top = #581E58
|
||||
toolbar.gradient.bottom = #581E58
|
||||
toolbar.gradient.top = #4B2564
|
||||
toolbar.gradient.bottom = #4B2564
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #D592D1
|
||||
mode.title.color = #C597DF
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #581E58
|
||||
mode.outline.color = #B474B1
|
||||
mode.background.color = #4B2564
|
||||
mode.outline.color = #A579BF
|
||||
|
||||
mode.popup.enabled.fgcolor = #BFA6BD
|
||||
mode.popup.enabled.bgcolor = #1B0319
|
||||
mode.popup.disabled.fgcolor = #665065
|
||||
mode.popup.disabled.bgcolor = #1B0319
|
||||
mode.popup.selected.fgcolor = #FFE8FF
|
||||
mode.popup.selected.bgcolor = #581E58
|
||||
mode.popup.enabled.fgcolor = #B9A7C2
|
||||
mode.popup.enabled.bgcolor = #17041D
|
||||
mode.popup.disabled.fgcolor = #615269
|
||||
mode.popup.disabled.bgcolor = #17041D
|
||||
mode.popup.selected.fgcolor = #FFEDFF
|
||||
mode.popup.selected.bgcolor = #4B2564
|
||||
|
||||
toolbar.button.disabled.field = #6D326B
|
||||
toolbar.button.disabled.glyph = #581E58
|
||||
toolbar.button.disabled.field = #5F3878
|
||||
toolbar.button.disabled.glyph = #4B2564
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FF98FC
|
||||
toolbar.button.enabled.glyph = #5B005C
|
||||
toolbar.button.enabled.field = #EA9EFF
|
||||
toolbar.button.enabled.glyph = #49116F
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #410044
|
||||
toolbar.button.pressed.glyph = #FFB0FF
|
||||
toolbar.button.pressed.stroke = #FFB0FF
|
||||
toolbar.button.rollover.field = #FFB0FF
|
||||
toolbar.button.rollover.glyph = #5B005C
|
||||
toolbar.button.pressed.field = #2F0056
|
||||
toolbar.button.pressed.glyph = #FFB6FF
|
||||
toolbar.button.pressed.stroke = #FFB6FF
|
||||
toolbar.button.rollover.field = #FFB6FF
|
||||
toolbar.button.rollover.glyph = #49116F
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #FFFFFE
|
||||
toolbar.button.selected.glyph = #AA00AE
|
||||
toolbar.button.selected.glyph = #870CD6
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
@@ -70,10 +70,10 @@ toolbar.button.debug.selected.stroke = none
|
||||
|
||||
status.notice.fgcolor = #0D222C
|
||||
status.notice.bgcolor = #8399A5
|
||||
status.error.fgcolor = #720078
|
||||
status.error.fgcolor = #4F00A5
|
||||
status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #FF98FC
|
||||
status.warning.fgcolor = #610068
|
||||
status.warning.bgcolor = #EA9EFF
|
||||
status.warning.fgcolor = #41008D
|
||||
status.url.fgcolor = #000000
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
@@ -84,14 +84,14 @@ 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 = #FFA1FF
|
||||
header.text.unselected.color = #866183
|
||||
header.tab.arrow.color = #866183
|
||||
header.tab.selected.color = #260026
|
||||
header.tab.unselected.color = #380F37
|
||||
header.text.selected.color = #FBA8FF
|
||||
header.text.unselected.color = #7D638B
|
||||
header.tab.arrow.color = #7D638B
|
||||
header.tab.selected.color = #1D012E
|
||||
header.tab.unselected.color = #2E1440
|
||||
header.tab.modified.color = #FFFFFE
|
||||
header.gradient.top = #581E58
|
||||
header.gradient.bottom = #581E58
|
||||
header.gradient.top = #4B2564
|
||||
header.gradient.bottom = #4B2564
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
@@ -117,7 +117,7 @@ console.color = #202E35
|
||||
# color of System.out text
|
||||
console.output.color = #96A6AF
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #FF4FFF
|
||||
console.error.color = #FF5FFF
|
||||
|
||||
console.scrollbar.thumb.enabled.color = #4E5D65
|
||||
console.scrollbar.thumb.rollover.color = #2F6A90
|
||||
@@ -131,17 +131,17 @@ console.scrollbar.color = #19272D
|
||||
editor.fgcolor = #FFFFFE
|
||||
editor.bgcolor = #000000
|
||||
|
||||
editor.gradient.top = #581E58
|
||||
editor.gradient.top = #4B2564
|
||||
editor.gradient.bottom = #5F6F78
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #360D36
|
||||
editor.linehighlight.color = #2D1141
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #541D53
|
||||
editor.selection.color = #482262
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
@@ -149,7 +149,7 @@ editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #F18F95
|
||||
editor.brackethighlight.color = #CE94F0
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #80919B
|
||||
@@ -161,22 +161,22 @@ editor.scrollbar.color = #697982
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #FFE8FF
|
||||
editor.gutter.text.color = #FFEDFF
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #8A4D88
|
||||
editor.gutter.linehighlight.color = #7C5295
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #FF98FC
|
||||
editor.warning.underline.color = #EA9EFF
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #FFFFFE
|
||||
editor.column.warning.color = #9A5B97
|
||||
editor.column.warning.color = #8B61A4
|
||||
|
||||
|
||||
## ErrorTable - second tab below the console area, lists errors and warnings ##
|
||||
@@ -189,95 +189,95 @@ errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #BDCAD2
|
||||
errors.row.bgcolor = #293941
|
||||
errors.selection.fgcolor = #FFFFFE
|
||||
errors.selection.bgcolor = #B24FB0
|
||||
errors.selection.bgcolor = #9D57CB
|
||||
errors.selection.error.bgcolor = #FFFFFE
|
||||
errors.selection.warning.bgcolor = #FF89FF
|
||||
errors.selection.warning.bgcolor = #EF8DFF
|
||||
errors.indicator.error.color = #BDCAD2
|
||||
errors.indicator.warning.color = #5F6F78
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #581E58
|
||||
manager.tab.unselected.color = #370B36
|
||||
manager.tab.selected.color = #4B2564
|
||||
manager.tab.unselected.color = #2C113F
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #FFFFFE
|
||||
manager.tab.text.unselected.color = #A774A4
|
||||
manager.tab.gradient.top = #260026
|
||||
manager.tab.gradient.bottom = #260026
|
||||
manager.tab.text.unselected.color = #9B78AF
|
||||
manager.tab.gradient.top = #1D012E
|
||||
manager.tab.gradient.bottom = #1D012E
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #260026
|
||||
manager.tab.background = #1D012E
|
||||
|
||||
|
||||
## ContributionTab
|
||||
|
||||
# category chooser for libraries
|
||||
manager.categories.enabled.fgcolor = #410043
|
||||
manager.categories.enabled.bgcolor = #BD6FBA
|
||||
manager.categories.disabled.fgcolor = #590E59
|
||||
manager.categories.disabled.bgcolor = #BD6FBA
|
||||
manager.categories.selected.fgcolor = #6B006E
|
||||
manager.categories.selected.bgcolor = #FFAFFF
|
||||
manager.categories.enabled.fgcolor = #310253
|
||||
manager.categories.enabled.bgcolor = #AB75CD
|
||||
manager.categories.disabled.fgcolor = #491A6A
|
||||
manager.categories.disabled.bgcolor = #AB75CD
|
||||
manager.categories.selected.fgcolor = #52008B
|
||||
manager.categories.selected.bgcolor = #FFB6FF
|
||||
|
||||
|
||||
# error window (X) close button
|
||||
manager.error.close.icon.color = #000000
|
||||
|
||||
manager.scrollbar.thumb.enabled.color = #7B3E79
|
||||
manager.scrollbar.thumb.rollover.color = #8B4E89
|
||||
manager.scrollbar.thumb.pressed.color = #8B4E89
|
||||
manager.scrollbar.color = #5E235D
|
||||
manager.scrollbar.thumb.enabled.color = #6C4485
|
||||
manager.scrollbar.thumb.rollover.color = #7D5396
|
||||
manager.scrollbar.thumb.pressed.color = #7D5396
|
||||
manager.scrollbar.color = #502A69
|
||||
|
||||
manager.search.text.color = #FFFFFE
|
||||
manager.search.icon.color = #B97BB5
|
||||
manager.search.background.color = #250023
|
||||
manager.search.caret.color = #FB93F7
|
||||
manager.search.placeholder.color = #B97BB5
|
||||
manager.search.icon.color = #AA80C3
|
||||
manager.search.background.color = #1A002C
|
||||
manager.search.caret.color = #E599FF
|
||||
manager.search.placeholder.color = #AA80C3
|
||||
manager.search.selection.text.color = #FFFFFE
|
||||
manager.search.selection.background.color = #5B005C
|
||||
manager.search.selection.background.color = #490F71
|
||||
|
||||
|
||||
## ListPanel – the listing inside a Contribution Manager tab ##
|
||||
|
||||
manager.list.heavy.font = processing.sans,bold,14
|
||||
manager.list.background.color = #581E58
|
||||
manager.list.header.fgcolor = #FFB1FF
|
||||
manager.list.header.bgcolor = #652A64
|
||||
manager.list.section.color = #581E58
|
||||
manager.list.selection.color = #B164AE
|
||||
manager.list.icon.color = #FF9FFF
|
||||
manager.list.background.color = #4B2564
|
||||
manager.list.header.fgcolor = #FDB7FF
|
||||
manager.list.header.bgcolor = #573170
|
||||
manager.list.section.color = #4B2564
|
||||
manager.list.selection.color = #A06AC1
|
||||
manager.list.icon.color = #FFA7FF
|
||||
manager.list.text.color = #FFFFFE
|
||||
manager.list.foundation.color = #FFA7FF
|
||||
manager.list.incompatible.selection.color = #6F406D
|
||||
manager.list.incompatible.text.color = #A788A5
|
||||
manager.list.foundation.color = #FFADFF
|
||||
manager.list.incompatible.selection.color = #644477
|
||||
manager.list.incompatible.text.color = #A08AAB
|
||||
|
||||
|
||||
## StatusPanel - the bottom panel with detail about a contribution
|
||||
|
||||
manager.panel.font = processing.sans,plain,11
|
||||
manager.panel.background.color = #863C84
|
||||
manager.panel.background.color = #754396
|
||||
manager.panel.text.color = #FFFFFE
|
||||
manager.panel.link.color = #FFAFFF
|
||||
manager.panel.foundation.color = #FFB0FF
|
||||
manager.panel.link.color = #FFB6FF
|
||||
manager.panel.foundation.color = #FFB7FF
|
||||
|
||||
manager.button.enabled.background.color = #5E145E
|
||||
manager.button.enabled.background.color = #4E1E6E
|
||||
manager.button.enabled.text.color = #FFFFFE
|
||||
manager.button.enabled.icon.color = #FFAFFF
|
||||
manager.button.pressed.background.color = #38003A
|
||||
manager.button.pressed.text.color = #FFAFFF
|
||||
manager.button.pressed.icon.color = #FFAFFF
|
||||
manager.button.disabled.background.color = #722971
|
||||
manager.button.disabled.text.color = #C1A9BF
|
||||
manager.button.disabled.icon.color = #C1A9BF
|
||||
manager.button.enabled.icon.color = #FFB6FF
|
||||
manager.button.pressed.background.color = #270049
|
||||
manager.button.pressed.text.color = #FFB6FF
|
||||
manager.button.pressed.icon.color = #FFB6FF
|
||||
manager.button.disabled.background.color = #613182
|
||||
manager.button.disabled.text.color = #BCAAC5
|
||||
manager.button.disabled.icon.color = #BCAAC5
|
||||
|
||||
manager.progress.complete.fgcolor = #FFFFFE
|
||||
manager.progress.complete.bgcolor = #FF8CFF
|
||||
manager.progress.incomplete.fgcolor = #C1A9BF
|
||||
manager.progress.incomplete.bgcolor = #38003A
|
||||
manager.progress.complete.bgcolor = #EB93FF
|
||||
manager.progress.incomplete.fgcolor = #BCAAC5
|
||||
manager.progress.incomplete.bgcolor = #270049
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
@@ -308,22 +308,22 @@ theme_selector.link.color = #8080ff
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #F18F95,plain
|
||||
editor.token.function2.style = #F18F95,plain
|
||||
editor.token.function3.style = #CF42FF,plain
|
||||
editor.token.function4.style = #F18F95,bold
|
||||
editor.token.function1.style = #CE94F0,plain
|
||||
editor.token.function2.style = #CE94F0,plain
|
||||
editor.token.function3.style = #00B068,plain
|
||||
editor.token.function4.style = #CE94F0,bold
|
||||
|
||||
editor.token.keyword1.style = #DD0019,plain
|
||||
editor.token.keyword2.style = #DD0019,plain
|
||||
editor.token.keyword3.style = #CF42FF,plain
|
||||
editor.token.keyword4.style = #C65400,plain
|
||||
editor.token.keyword5.style = #00CB00,plain
|
||||
editor.token.keyword6.style = #DD0019,plain
|
||||
editor.token.keyword1.style = #B813C0,plain
|
||||
editor.token.keyword2.style = #B813C0,plain
|
||||
editor.token.keyword3.style = #00B068,plain
|
||||
editor.token.keyword4.style = #CC3D92,plain
|
||||
editor.token.keyword5.style = #FF4144,plain
|
||||
editor.token.keyword6.style = #B813C0,plain
|
||||
|
||||
editor.token.literal1.style = #AE52B1,plain
|
||||
editor.token.literal2.style = #C1007E,plain
|
||||
editor.token.literal1.style = #008DAF,plain
|
||||
editor.token.literal2.style = #0071F0,plain
|
||||
|
||||
editor.token.operator.style = #F18F95,plain
|
||||
editor.token.operator.style = #CE94F0,plain
|
||||
|
||||
editor.token.label.style = #5E5E5E,bold
|
||||
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
## Look-and-Feel Entries ##
|
||||
|
||||
laf.mode = light
|
||||
laf.accent.color = #9A9DA4
|
||||
laf.accent.color = #999EA6
|
||||
|
||||
# global color used in dialog boxes that have text links
|
||||
label.link.color = #cc0000
|
||||
@@ -16,37 +16,37 @@ label.link.color = #cc0000
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #FFFFFE
|
||||
toolbar.gradient.top = #22252B
|
||||
toolbar.gradient.bottom = #22252B
|
||||
toolbar.gradient.top = #242528
|
||||
toolbar.gradient.bottom = #242528
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #9CA0A7
|
||||
mode.title.color = #9EA0A3
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #22252B
|
||||
mode.outline.color = #7B7F85
|
||||
mode.background.color = #242528
|
||||
mode.outline.color = #7D7F82
|
||||
|
||||
mode.popup.enabled.fgcolor = #ABACAF
|
||||
mode.popup.enabled.bgcolor = #06080B
|
||||
mode.popup.disabled.fgcolor = #545558
|
||||
mode.popup.disabled.bgcolor = #06080B
|
||||
mode.popup.selected.fgcolor = #FBFFFF
|
||||
mode.popup.selected.bgcolor = #22252B
|
||||
mode.popup.enabled.fgcolor = #ACACAE
|
||||
mode.popup.enabled.bgcolor = #07080A
|
||||
mode.popup.disabled.fgcolor = #555556
|
||||
mode.popup.disabled.bgcolor = #07080A
|
||||
mode.popup.selected.fgcolor = #FDFFFF
|
||||
mode.popup.selected.bgcolor = #242528
|
||||
|
||||
toolbar.button.disabled.field = #33373C
|
||||
toolbar.button.disabled.glyph = #22252B
|
||||
toolbar.button.disabled.field = #353639
|
||||
toolbar.button.disabled.glyph = #242528
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #9A9DA4
|
||||
toolbar.button.enabled.glyph = #04233C
|
||||
toolbar.button.enabled.field = #999EA6
|
||||
toolbar.button.enabled.glyph = #0A233A
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #00162E
|
||||
toolbar.button.pressed.glyph = #B8CEF1
|
||||
toolbar.button.pressed.stroke = #B8CEF1
|
||||
toolbar.button.rollover.field = #B8CEF1
|
||||
toolbar.button.rollover.glyph = #04233C
|
||||
toolbar.button.pressed.field = #00152B
|
||||
toolbar.button.pressed.glyph = #B7CEF3
|
||||
toolbar.button.pressed.stroke = #B7CEF3
|
||||
toolbar.button.rollover.field = #B7CEF3
|
||||
toolbar.button.rollover.glyph = #0A233A
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #FFFFFE
|
||||
toolbar.button.selected.glyph = #474C55
|
||||
toolbar.button.selected.glyph = #464C58
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
toolbar.button.debug.disabled.field = #000009
|
||||
@@ -68,12 +68,12 @@ toolbar.button.debug.selected.stroke = none
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #00E5FF
|
||||
status.notice.bgcolor = #0069E8
|
||||
status.notice.fgcolor = #161C24
|
||||
status.notice.bgcolor = #747983
|
||||
status.error.fgcolor = #003AA5
|
||||
status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #9A9DA4
|
||||
status.warning.fgcolor = #002452
|
||||
status.warning.bgcolor = #999EA6
|
||||
status.warning.fgcolor = #002453
|
||||
status.url.fgcolor = #000000
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
@@ -84,45 +84,45 @@ 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 = #A6B1C2
|
||||
header.text.unselected.color = #5D5F63
|
||||
header.tab.arrow.color = #5D5F63
|
||||
header.tab.selected.color = #070B10
|
||||
header.tab.unselected.color = #15181B
|
||||
header.text.selected.color = #A5B1C4
|
||||
header.text.unselected.color = #5E5F61
|
||||
header.tab.arrow.color = #5E5F61
|
||||
header.tab.selected.color = #090B0E
|
||||
header.tab.unselected.color = #171819
|
||||
header.tab.modified.color = #FFFFFE
|
||||
header.gradient.top = #22252B
|
||||
header.gradient.bottom = #22252B
|
||||
header.gradient.top = #242528
|
||||
header.gradient.bottom = #242528
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #FFFFFE
|
||||
footer.text.enabled.color = #00A7FF
|
||||
footer.text.enabled.color = #ABB0B9
|
||||
footer.icon.selected.color = #FFFFFE
|
||||
footer.icon.enabled.color = #00A7FF
|
||||
footer.gradient.top = #002E86
|
||||
footer.gradient.bottom = #002E86
|
||||
footer.tab.selected.color = #005CC0
|
||||
footer.tab.enabled.color = #002E86
|
||||
footer.icon.enabled.color = #ABB0B9
|
||||
footer.gradient.top = #42464E
|
||||
footer.gradient.bottom = #42464E
|
||||
footer.tab.selected.color = #6C7078
|
||||
footer.tab.enabled.color = #42464E
|
||||
footer.updates.text.color = #FFFFFE
|
||||
footer.updates.indicator.field.color = #000E5F
|
||||
footer.updates.indicator.text.color = #8EFFFF
|
||||
footer.updates.indicator.field.color = #00000C
|
||||
footer.updates.indicator.text.color = #FAFFFF
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
|
||||
console.color = #0D131B
|
||||
console.color = #1A1F28
|
||||
# color of System.out text
|
||||
console.output.color = #9197A2
|
||||
console.output.color = #979DA8
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #00C5FF
|
||||
|
||||
console.scrollbar.thumb.enabled.color = #40454F
|
||||
console.scrollbar.thumb.enabled.color = #4A5059
|
||||
console.scrollbar.thumb.rollover.color = #2F6A90
|
||||
console.scrollbar.thumb.pressed.color = #2F6A90
|
||||
console.scrollbar.color = #0A1019
|
||||
console.scrollbar.color = #151B23
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
@@ -131,17 +131,17 @@ console.scrollbar.color = #0A1019
|
||||
editor.fgcolor = #FFFFFE
|
||||
editor.bgcolor = #000000
|
||||
|
||||
editor.gradient.top = #22252B
|
||||
editor.gradient.bottom = #002E86
|
||||
editor.gradient.top = #242528
|
||||
editor.gradient.bottom = #42464E
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #191B1D
|
||||
editor.linehighlight.color = #191B1E
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #2D2F33
|
||||
editor.selection.color = #2D2F34
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
@@ -149,135 +149,135 @@ editor.eolmarkers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #EA90AE
|
||||
editor.brackethighlight.color = #EB90AD
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #005CC0
|
||||
editor.scrollbar.thumb.rollover.color = #0054B6
|
||||
editor.scrollbar.thumb.pressed.color = #0054B6
|
||||
editor.scrollbar.color = #003B97
|
||||
editor.scrollbar.thumb.enabled.color = #6C7078
|
||||
editor.scrollbar.thumb.rollover.color = #60656D
|
||||
editor.scrollbar.thumb.pressed.color = #60656D
|
||||
editor.scrollbar.color = #4E535A
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #FBFFFF
|
||||
editor.gutter.text.color = #FDFFFF
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #52555B
|
||||
editor.gutter.linehighlight.color = #535558
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #9A9DA4
|
||||
editor.warning.underline.color = #999EA6
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #FFFFFE
|
||||
editor.column.warning.color = #5A5E64
|
||||
editor.column.warning.color = #5C5E61
|
||||
|
||||
|
||||
## ErrorTable - second tab below the console area, lists errors and warnings ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #00124F
|
||||
errors.header.fgcolor = #7895BE
|
||||
errors.bgcolor = #002072
|
||||
errors.header.bgcolor = #101318
|
||||
errors.header.fgcolor = #95969A
|
||||
errors.bgcolor = #21252C
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #72C2FF
|
||||
errors.row.bgcolor = #002072
|
||||
errors.row.fgcolor = #BFC3C9
|
||||
errors.row.bgcolor = #21252C
|
||||
errors.selection.fgcolor = #FFFFFE
|
||||
errors.selection.bgcolor = #52555B
|
||||
errors.selection.bgcolor = #5A5E66
|
||||
errors.selection.error.bgcolor = #FFFFFE
|
||||
errors.selection.warning.bgcolor = #00ACFF
|
||||
errors.indicator.error.color = #72C2FF
|
||||
errors.indicator.warning.color = #005ABD
|
||||
errors.selection.warning.bgcolor = #00B1FF
|
||||
errors.indicator.error.color = #BFC3C9
|
||||
errors.indicator.warning.color = #5B5F67
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #22252B
|
||||
manager.tab.unselected.color = #14161A
|
||||
manager.tab.selected.color = #242528
|
||||
manager.tab.unselected.color = #151618
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #FFFFFE
|
||||
manager.tab.text.unselected.color = #7D8085
|
||||
manager.tab.gradient.top = #070B10
|
||||
manager.tab.gradient.bottom = #070B10
|
||||
manager.tab.text.unselected.color = #7F8083
|
||||
manager.tab.gradient.top = #090B0E
|
||||
manager.tab.gradient.bottom = #090B0E
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #070B10
|
||||
manager.tab.background = #090B0E
|
||||
|
||||
|
||||
## ContributionTab
|
||||
|
||||
# category chooser for libraries
|
||||
manager.categories.enabled.fgcolor = #0D1C2D
|
||||
manager.categories.enabled.bgcolor = #6A778D
|
||||
manager.categories.disabled.fgcolor = #1E2C3F
|
||||
manager.categories.disabled.bgcolor = #6A778D
|
||||
manager.categories.selected.fgcolor = #21344B
|
||||
manager.categories.selected.bgcolor = #C6D8F5
|
||||
manager.categories.enabled.fgcolor = #101C2A
|
||||
manager.categories.enabled.bgcolor = #6C778A
|
||||
manager.categories.disabled.fgcolor = #212C3C
|
||||
manager.categories.disabled.bgcolor = #6C778A
|
||||
manager.categories.selected.fgcolor = #20344C
|
||||
manager.categories.selected.bgcolor = #C5D8F7
|
||||
|
||||
|
||||
# error window (X) close button
|
||||
manager.error.close.icon.color = #000000
|
||||
|
||||
manager.scrollbar.thumb.enabled.color = #42454B
|
||||
manager.scrollbar.thumb.rollover.color = #52565C
|
||||
manager.scrollbar.thumb.pressed.color = #52565C
|
||||
manager.scrollbar.color = #262A2F
|
||||
manager.scrollbar.thumb.enabled.color = #434548
|
||||
manager.scrollbar.thumb.rollover.color = #545559
|
||||
manager.scrollbar.thumb.pressed.color = #545559
|
||||
manager.scrollbar.color = #28292C
|
||||
|
||||
manager.search.text.color = #FFFFFE
|
||||
manager.search.icon.color = #8D9097
|
||||
manager.search.background.color = #000009
|
||||
manager.search.caret.color = #B5B8BF
|
||||
manager.search.placeholder.color = #8D9097
|
||||
manager.search.icon.color = #8E9093
|
||||
manager.search.background.color = #000004
|
||||
manager.search.caret.color = #B4B8C1
|
||||
manager.search.placeholder.color = #8E9093
|
||||
manager.search.selection.text.color = #FFFFFE
|
||||
manager.search.selection.background.color = #0F3250
|
||||
manager.search.selection.background.color = #14314E
|
||||
|
||||
|
||||
## ListPanel – the listing inside a Contribution Manager tab ##
|
||||
|
||||
manager.list.heavy.font = processing.sans,bold,14
|
||||
manager.list.background.color = #22252B
|
||||
manager.list.header.fgcolor = #B6D0F8
|
||||
manager.list.header.bgcolor = #2D3036
|
||||
manager.list.section.color = #22252B
|
||||
manager.list.selection.color = #67758A
|
||||
manager.list.icon.color = #ADD1FF
|
||||
manager.list.background.color = #242528
|
||||
manager.list.header.fgcolor = #B8D0F5
|
||||
manager.list.header.bgcolor = #2E3033
|
||||
manager.list.section.color = #242528
|
||||
manager.list.selection.color = #697587
|
||||
manager.list.icon.color = #ACD1FF
|
||||
manager.list.text.color = #FFFFFE
|
||||
manager.list.foundation.color = #BDCFED
|
||||
manager.list.incompatible.selection.color = #3F4146
|
||||
manager.list.incompatible.text.color = #86878B
|
||||
manager.list.foundation.color = #BCD0EE
|
||||
manager.list.incompatible.selection.color = #404143
|
||||
manager.list.incompatible.text.color = #878789
|
||||
|
||||
|
||||
## StatusPanel - the bottom panel with detail about a contribution
|
||||
|
||||
manager.panel.font = processing.sans,plain,11
|
||||
manager.panel.background.color = #3A475B
|
||||
manager.panel.background.color = #3C4758
|
||||
manager.panel.text.color = #FFFFFE
|
||||
manager.panel.link.color = #C6D8F5
|
||||
manager.panel.foundation.color = #B9E7FF
|
||||
manager.panel.link.color = #C5D8F7
|
||||
manager.panel.foundation.color = #B7E7FF
|
||||
|
||||
manager.button.enabled.background.color = #1E2C3F
|
||||
manager.button.enabled.background.color = #212C3C
|
||||
manager.button.enabled.text.color = #FFFFFE
|
||||
manager.button.enabled.icon.color = #C6D8F5
|
||||
manager.button.pressed.background.color = #031424
|
||||
manager.button.pressed.text.color = #C6D8F5
|
||||
manager.button.pressed.icon.color = #C6D8F5
|
||||
manager.button.disabled.background.color = #2C394C
|
||||
manager.button.disabled.text.color = #A6AAB1
|
||||
manager.button.disabled.icon.color = #A6AAB1
|
||||
manager.button.enabled.icon.color = #C5D8F7
|
||||
manager.button.pressed.background.color = #061422
|
||||
manager.button.pressed.text.color = #C5D8F7
|
||||
manager.button.pressed.icon.color = #C5D8F7
|
||||
manager.button.disabled.background.color = #2E394A
|
||||
manager.button.disabled.text.color = #A6AAB0
|
||||
manager.button.disabled.icon.color = #A6AAB0
|
||||
|
||||
manager.progress.complete.fgcolor = #FFFFFE
|
||||
manager.progress.complete.bgcolor = #9FB1CE
|
||||
manager.progress.incomplete.fgcolor = #A6AAB1
|
||||
manager.progress.incomplete.bgcolor = #031424
|
||||
manager.progress.complete.bgcolor = #9EB1CF
|
||||
manager.progress.incomplete.fgcolor = #A6AAB0
|
||||
manager.progress.incomplete.bgcolor = #061422
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
@@ -308,22 +308,22 @@ theme_selector.link.color = #8080ff
|
||||
# For an explanation of these tags, see Token.java:
|
||||
# processing/app/src/processing/app/syntax/Token.java
|
||||
|
||||
editor.token.function1.style = #EA90AE,plain
|
||||
editor.token.function2.style = #EA90AE,plain
|
||||
editor.token.function1.style = #EB90AD,plain
|
||||
editor.token.function2.style = #EB90AD,plain
|
||||
editor.token.function3.style = #00B5F8,plain
|
||||
editor.token.function4.style = #EA90AE,bold
|
||||
editor.token.function4.style = #EB90AD,bold
|
||||
|
||||
editor.token.keyword1.style = #D40069,plain
|
||||
editor.token.keyword2.style = #D40069,plain
|
||||
editor.token.keyword1.style = #D4006B,plain
|
||||
editor.token.keyword2.style = #D4006B,plain
|
||||
editor.token.keyword3.style = #00B5F8,plain
|
||||
editor.token.keyword4.style = #DD3632,plain
|
||||
editor.token.keyword5.style = #F89300,plain
|
||||
editor.token.keyword6.style = #D40069,plain
|
||||
editor.token.keyword6.style = #D4006B,plain
|
||||
|
||||
editor.token.literal1.style = #0083CD,plain
|
||||
editor.token.literal2.style = #1A2CF1,plain
|
||||
|
||||
editor.token.operator.style = #EA90AE,plain
|
||||
editor.token.operator.style = #EB90AD,plain
|
||||
|
||||
editor.token.label.style = #5E5E5E,bold
|
||||
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
## Look-and-Feel Entries ##
|
||||
|
||||
laf.mode = light
|
||||
laf.accent.color = #005592
|
||||
laf.accent.color = #00427A
|
||||
|
||||
# global color used in dialog boxes that have text links
|
||||
label.link.color = #cc0000
|
||||
@@ -16,36 +16,36 @@ label.link.color = #cc0000
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #BDD4FF
|
||||
toolbar.gradient.bottom = #BDD4FF
|
||||
toolbar.gradient.top = #00B4D7
|
||||
toolbar.gradient.bottom = #00B4D7
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #2B4F90
|
||||
mode.title.color = #004C6C
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #BDD4FF
|
||||
mode.outline.color = #516EB3
|
||||
mode.background.color = #00B4D7
|
||||
mode.outline.color = #006586
|
||||
|
||||
mode.popup.enabled.fgcolor = #3D445B
|
||||
mode.popup.enabled.bgcolor = #F0F6FF
|
||||
mode.popup.disabled.fgcolor = #9298B3
|
||||
mode.popup.disabled.bgcolor = #F0F6FF
|
||||
mode.popup.selected.fgcolor = #00003B
|
||||
mode.popup.selected.bgcolor = #BDD4FF
|
||||
mode.popup.enabled.fgcolor = #1B4853
|
||||
mode.popup.enabled.bgcolor = #C8F4FF
|
||||
mode.popup.disabled.fgcolor = #6F99A6
|
||||
mode.popup.disabled.bgcolor = #C8F4FF
|
||||
mode.popup.selected.fgcolor = #00162D
|
||||
mode.popup.selected.bgcolor = #00B4D7
|
||||
|
||||
toolbar.button.disabled.field = #A6BEFF
|
||||
toolbar.button.disabled.glyph = #90A8F3
|
||||
toolbar.button.disabled.field = #009EC1
|
||||
toolbar.button.disabled.glyph = #0089AB
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFFE
|
||||
toolbar.button.enabled.glyph = #00ADFF
|
||||
toolbar.button.enabled.glyph = #00A1FE
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #0081ED
|
||||
toolbar.button.pressed.field = #007DD7
|
||||
toolbar.button.pressed.glyph = #FFFFFE
|
||||
toolbar.button.pressed.stroke = #FFFFFE
|
||||
toolbar.button.rollover.field = #FFFFFE
|
||||
toolbar.button.rollover.glyph = #0059A5
|
||||
toolbar.button.rollover.glyph = #003F85
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #0059A5
|
||||
toolbar.button.selected.field = #003F85
|
||||
toolbar.button.selected.glyph = #FFFFFE
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
@@ -68,12 +68,12 @@ toolbar.button.debug.selected.stroke = none
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #232323
|
||||
status.notice.bgcolor = #ABABAB
|
||||
status.error.fgcolor = #00CDFF
|
||||
status.notice.fgcolor = #44000A
|
||||
status.notice.bgcolor = #B86469
|
||||
status.error.fgcolor = #00EEFF
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #005592
|
||||
status.warning.fgcolor = #72DFFF
|
||||
status.warning.bgcolor = #00427A
|
||||
status.warning.fgcolor = #00F7FF
|
||||
status.url.fgcolor = #FFFFFE
|
||||
status.font = processing.sans,plain,13
|
||||
# For the clipboard icon, needs to be a little larger on macOS
|
||||
@@ -84,45 +84,45 @@ 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 = #004586
|
||||
header.text.unselected.color = #848FBB
|
||||
header.tab.arrow.color = #848FBB
|
||||
header.tab.selected.color = #E4F2FF
|
||||
header.tab.unselected.color = #D8E6FF
|
||||
header.text.selected.color = #003A76
|
||||
header.text.unselected.color = #23788C
|
||||
header.tab.arrow.color = #23788C
|
||||
header.tab.selected.color = #90F5FF
|
||||
header.tab.unselected.color = #72D9F4
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #BDD4FF
|
||||
header.gradient.bottom = #BDD4FF
|
||||
header.gradient.top = #00B4D7
|
||||
header.gradient.bottom = #00B4D7
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #5E5E5E
|
||||
footer.text.enabled.color = #E79FA1
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #5E5E5E
|
||||
footer.gradient.top = #FFFFFE
|
||||
footer.gradient.bottom = #FFFFFE
|
||||
footer.tab.selected.color = #B8B8B8
|
||||
footer.tab.enabled.color = #FFFFFE
|
||||
footer.icon.enabled.color = #E79FA1
|
||||
footer.gradient.top = #75383C
|
||||
footer.gradient.bottom = #75383C
|
||||
footer.tab.selected.color = #A46264
|
||||
footer.tab.enabled.color = #75383C
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #FFFFFE
|
||||
footer.updates.indicator.text.color = #000000
|
||||
footer.updates.indicator.field.color = #2B0000
|
||||
footer.updates.indicator.text.color = #FFEBEC
|
||||
|
||||
|
||||
## EditorConsole - stack traces of doom and println() ##
|
||||
# The font is handled by preferences.txt, so its size/etc are modifiable.
|
||||
|
||||
console.color = #323232
|
||||
console.color = #291C1C
|
||||
# color of System.out text
|
||||
console.output.color = #A6A6A6
|
||||
console.output.color = #AA9999
|
||||
# text color for errors printed in the console
|
||||
console.error.color = #00C3FF
|
||||
console.error.color = #00EAFF
|
||||
|
||||
console.scrollbar.thumb.enabled.color = #606060
|
||||
console.scrollbar.thumb.enabled.color = #5B4C4C
|
||||
console.scrollbar.thumb.rollover.color = #2F6A90
|
||||
console.scrollbar.thumb.pressed.color = #2F6A90
|
||||
console.scrollbar.color = #292929
|
||||
console.scrollbar.color = #241717
|
||||
|
||||
|
||||
## PdeTextAreaDefaults - default colors for the editor ##
|
||||
@@ -131,17 +131,17 @@ console.scrollbar.color = #292929
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFFE
|
||||
|
||||
editor.gradient.top = #BDD4FF
|
||||
editor.gradient.bottom = #FFFFFE
|
||||
editor.gradient.top = #00B4D7
|
||||
editor.gradient.bottom = #75383C
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #E4F1FF
|
||||
editor.linehighlight.color = #C5F9FF
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #C6D5EF
|
||||
editor.selection.color = #A3DDEE
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
@@ -152,132 +152,132 @@ editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #B8B8B8
|
||||
editor.scrollbar.thumb.rollover.color = #A4A4A4
|
||||
editor.scrollbar.thumb.pressed.color = #A4A4A4
|
||||
editor.scrollbar.color = #E9E9E9
|
||||
editor.scrollbar.thumb.enabled.color = #A46264
|
||||
editor.scrollbar.thumb.rollover.color = #965658
|
||||
editor.scrollbar.thumb.pressed.color = #965658
|
||||
editor.scrollbar.color = #834548
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #00003B
|
||||
editor.gutter.text.color = #00162D
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #809AE3
|
||||
editor.gutter.linehighlight.color = #0087A9
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
# squiggly line underneath warnings
|
||||
editor.warning.underline.color = #005592
|
||||
editor.warning.underline.color = #00427A
|
||||
|
||||
|
||||
## MarkerColumn - shows ticks adjacent the scroll bar ##
|
||||
|
||||
# lines next to the scrollbar showing where errors are located
|
||||
editor.column.error.color = #000000
|
||||
editor.column.warning.color = #E6FCFF
|
||||
editor.column.warning.color = #7AFFFF
|
||||
|
||||
|
||||
## ErrorTable - second tab below the console area, lists errors and warnings ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #303030
|
||||
errors.header.fgcolor = #A5A5A5
|
||||
errors.bgcolor = #767676
|
||||
errors.header.bgcolor = #2D0506
|
||||
errors.header.fgcolor = #AC9091
|
||||
errors.bgcolor = #4B131A
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #DBDBDB
|
||||
errors.row.bgcolor = #767676
|
||||
errors.row.fgcolor = #EDB5B6
|
||||
errors.row.bgcolor = #4B131A
|
||||
errors.selection.fgcolor = #FFFFFE
|
||||
errors.selection.bgcolor = #A5A5A5
|
||||
errors.selection.bgcolor = #8F4F52
|
||||
errors.selection.error.bgcolor = #FFFFFE
|
||||
errors.selection.warning.bgcolor = #4F4F4F
|
||||
errors.indicator.error.color = #DBDBDB
|
||||
errors.indicator.warning.color = #525252
|
||||
errors.selection.warning.bgcolor = #FF7585
|
||||
errors.indicator.error.color = #EDB5B6
|
||||
errors.indicator.warning.color = #8E4E51
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #E4F2FF
|
||||
manager.tab.unselected.color = #BCCBFF
|
||||
manager.tab.selected.color = #90F5FF
|
||||
manager.tab.unselected.color = #56BFDA
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #000000
|
||||
manager.tab.text.unselected.color = #4D5F92
|
||||
manager.tab.gradient.top = #8CA5F0
|
||||
manager.tab.gradient.bottom = #8CA5F0
|
||||
manager.tab.text.unselected.color = #006078
|
||||
manager.tab.gradient.top = #0090B2
|
||||
manager.tab.gradient.bottom = #0090B2
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #8CA5F0
|
||||
manager.tab.background = #0090B2
|
||||
|
||||
|
||||
## ContributionTab
|
||||
|
||||
# category chooser for libraries
|
||||
manager.categories.enabled.fgcolor = #C7DCFF
|
||||
manager.categories.enabled.bgcolor = #4B65A5
|
||||
manager.categories.disabled.fgcolor = #405C9A
|
||||
manager.categories.disabled.bgcolor = #4B65A5
|
||||
manager.categories.selected.fgcolor = #003B89
|
||||
manager.categories.selected.bgcolor = #95E8FF
|
||||
manager.categories.enabled.fgcolor = #3CE8FF
|
||||
manager.categories.enabled.bgcolor = #005171
|
||||
manager.categories.disabled.fgcolor = #005E80
|
||||
manager.categories.disabled.bgcolor = #005171
|
||||
manager.categories.selected.fgcolor = #004887
|
||||
manager.categories.selected.bgcolor = #00FBFF
|
||||
|
||||
|
||||
# error window (X) close button
|
||||
manager.error.close.icon.color = #000000
|
||||
|
||||
manager.scrollbar.thumb.enabled.color = #B6C5FE
|
||||
manager.scrollbar.thumb.rollover.color = #A0AFE7
|
||||
manager.scrollbar.thumb.pressed.color = #A0AFE7
|
||||
manager.scrollbar.color = #DEEDFF
|
||||
manager.scrollbar.thumb.enabled.color = #61C9E4
|
||||
manager.scrollbar.thumb.rollover.color = #49B4CF
|
||||
manager.scrollbar.thumb.pressed.color = #49B4CF
|
||||
manager.scrollbar.color = #8AEFFF
|
||||
|
||||
manager.search.text.color = #000000
|
||||
manager.search.icon.color = #4C5C8C
|
||||
manager.search.background.color = #BAC8FF
|
||||
manager.search.caret.color = #00346C
|
||||
manager.search.placeholder.color = #4C5C8C
|
||||
manager.search.icon.color = #006980
|
||||
manager.search.background.color = #6ACAE4
|
||||
manager.search.caret.color = #004077
|
||||
manager.search.placeholder.color = #006980
|
||||
manager.search.selection.text.color = #000000
|
||||
manager.search.selection.background.color = #7E9BEB
|
||||
manager.search.selection.background.color = #00A8D5
|
||||
|
||||
|
||||
## ListPanel – the listing inside a Contribution Manager tab ##
|
||||
|
||||
manager.list.heavy.font = processing.sans,bold,14
|
||||
manager.list.background.color = #E4F2FF
|
||||
manager.list.header.fgcolor = #002E71
|
||||
manager.list.header.bgcolor = #D5E4FF
|
||||
manager.list.section.color = #E4F2FF
|
||||
manager.list.selection.color = #8CA2E7
|
||||
manager.list.icon.color = #003485
|
||||
manager.list.background.color = #90F5FF
|
||||
manager.list.header.fgcolor = #003B64
|
||||
manager.list.header.bgcolor = #81E7FF
|
||||
manager.list.section.color = #90F5FF
|
||||
manager.list.selection.color = #00ACD0
|
||||
manager.list.icon.color = #00438E
|
||||
manager.list.text.color = #000000
|
||||
manager.list.foundation.color = #003480
|
||||
manager.list.incompatible.selection.color = #CCD7FF
|
||||
manager.list.incompatible.text.color = #757B94
|
||||
manager.list.foundation.color = #00407E
|
||||
manager.list.incompatible.selection.color = #8CD8EE
|
||||
manager.list.incompatible.text.color = #537B87
|
||||
|
||||
|
||||
## StatusPanel - the bottom panel with detail about a contribution
|
||||
|
||||
manager.panel.font = processing.sans,plain,11
|
||||
manager.panel.background.color = #667EC0
|
||||
manager.panel.background.color = #00698B
|
||||
manager.panel.text.color = #FFFFFE
|
||||
manager.panel.link.color = #95E8FF
|
||||
manager.panel.foundation.color = #7AF3FF
|
||||
manager.panel.link.color = #00FBFF
|
||||
manager.panel.foundation.color = #00FFFF
|
||||
|
||||
manager.button.enabled.background.color = #2A4A86
|
||||
manager.button.enabled.background.color = #004464
|
||||
manager.button.enabled.text.color = #FFFFFE
|
||||
manager.button.enabled.icon.color = #95E8FF
|
||||
manager.button.pressed.background.color = #001C50
|
||||
manager.button.pressed.text.color = #95E8FF
|
||||
manager.button.pressed.icon.color = #95E8FF
|
||||
manager.button.disabled.background.color = #4963A3
|
||||
manager.button.disabled.text.color = #B9BDD3
|
||||
manager.button.disabled.icon.color = #B9BDD3
|
||||
manager.button.enabled.icon.color = #00FBFF
|
||||
manager.button.pressed.background.color = #00233F
|
||||
manager.button.pressed.text.color = #00FBFF
|
||||
manager.button.pressed.icon.color = #00FBFF
|
||||
manager.button.disabled.background.color = #005677
|
||||
manager.button.disabled.text.color = #95B7C1
|
||||
manager.button.disabled.icon.color = #95B7C1
|
||||
|
||||
manager.progress.complete.fgcolor = #FFFFFE
|
||||
manager.progress.complete.bgcolor = #77CFFF
|
||||
manager.progress.incomplete.fgcolor = #B9BDD3
|
||||
manager.progress.incomplete.bgcolor = #001C50
|
||||
manager.progress.complete.bgcolor = #00D7FF
|
||||
manager.progress.incomplete.fgcolor = #95B7C1
|
||||
manager.progress.incomplete.bgcolor = #00233F
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
@@ -16,36 +16,36 @@ label.link.color = #cc0000
|
||||
# TOOLBAR BUTTON TEXT
|
||||
toolbar.rollover.font = processing.sans,plain,12
|
||||
toolbar.rollover.color = #000000
|
||||
toolbar.gradient.top = #ACAAAA
|
||||
toolbar.gradient.bottom = #ACAAAA
|
||||
toolbar.gradient.top = #C7C5C5
|
||||
toolbar.gradient.bottom = #C7C5C5
|
||||
|
||||
# MODE SELECTOR (EditorToolbar)
|
||||
mode.title.font = processing.sans,plain,12
|
||||
mode.title.color = #434141
|
||||
mode.title.color = #4C4A4A
|
||||
# stolen from gradient bottom
|
||||
mode.background.color = #ACAAAA
|
||||
mode.outline.color = #5B5A59
|
||||
mode.background.color = #C7C5C5
|
||||
mode.outline.color = #696767
|
||||
|
||||
mode.popup.enabled.fgcolor = #434242
|
||||
mode.popup.enabled.bgcolor = #EFEEEE
|
||||
mode.popup.disabled.fgcolor = #949393
|
||||
mode.popup.disabled.bgcolor = #EFEEEE
|
||||
mode.popup.enabled.fgcolor = #444343
|
||||
mode.popup.enabled.bgcolor = #F4F4F3
|
||||
mode.popup.disabled.fgcolor = #979796
|
||||
mode.popup.disabled.bgcolor = #F4F4F3
|
||||
mode.popup.selected.fgcolor = #020000
|
||||
mode.popup.selected.bgcolor = #ACAAAA
|
||||
mode.popup.selected.bgcolor = #C7C5C5
|
||||
|
||||
toolbar.button.disabled.field = #979595
|
||||
toolbar.button.disabled.glyph = #828080
|
||||
toolbar.button.disabled.field = #B1B0AF
|
||||
toolbar.button.disabled.glyph = #9C9A9A
|
||||
toolbar.button.disabled.stroke = none
|
||||
toolbar.button.enabled.field = #FFFFFE
|
||||
toolbar.button.enabled.glyph = #009E84
|
||||
toolbar.button.enabled.glyph = #00B499
|
||||
toolbar.button.enabled.stroke = none
|
||||
toolbar.button.pressed.field = #007861
|
||||
toolbar.button.pressed.field = #008870
|
||||
toolbar.button.pressed.glyph = #FFFFFE
|
||||
toolbar.button.pressed.stroke = #FFFFFE
|
||||
toolbar.button.rollover.field = #FFFFFE
|
||||
toolbar.button.rollover.glyph = #003C2F
|
||||
toolbar.button.rollover.glyph = #005445
|
||||
toolbar.button.rollover.stroke = none
|
||||
toolbar.button.selected.field = #003C2F
|
||||
toolbar.button.selected.field = #005445
|
||||
toolbar.button.selected.glyph = #FFFFFE
|
||||
toolbar.button.selected.stroke = none
|
||||
|
||||
@@ -68,8 +68,8 @@ toolbar.button.debug.selected.stroke = none
|
||||
|
||||
## EditorStatus - status message bar directly below the editor ##
|
||||
|
||||
status.notice.fgcolor = #003000
|
||||
status.notice.bgcolor = #009D54
|
||||
status.notice.fgcolor = #003200
|
||||
status.notice.bgcolor = #00B065
|
||||
status.error.fgcolor = #00E7C4
|
||||
status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #004D41
|
||||
@@ -85,26 +85,26 @@ status.emoji.font.macosx = Dialog,plain,22
|
||||
|
||||
header.text.font = processing.sans,bold,14
|
||||
header.text.selected.color = #004134
|
||||
header.text.unselected.color = #757474
|
||||
header.tab.arrow.color = #757474
|
||||
header.tab.selected.color = #EAE9E8
|
||||
header.tab.unselected.color = #D1CFCF
|
||||
header.text.unselected.color = #878585
|
||||
header.tab.arrow.color = #878585
|
||||
header.tab.selected.color = #F1F0F0
|
||||
header.tab.unselected.color = #E0DFDE
|
||||
header.tab.modified.color = #000000
|
||||
header.gradient.top = #ACAAAA
|
||||
header.gradient.bottom = #ACAAAA
|
||||
header.gradient.top = #C7C5C5
|
||||
header.gradient.bottom = #C7C5C5
|
||||
|
||||
|
||||
## EditorFooter - the tabs below the editor ##
|
||||
|
||||
footer.text.font = processing.sans,bold,12
|
||||
footer.text.selected.color = #000000
|
||||
footer.text.enabled.color = #00CF8F
|
||||
footer.text.enabled.color = #02DB99
|
||||
footer.icon.selected.color = #000000
|
||||
footer.icon.enabled.color = #00CF8F
|
||||
footer.gradient.top = #00652F
|
||||
footer.gradient.bottom = #00652F
|
||||
footer.tab.selected.color = #009055
|
||||
footer.tab.enabled.color = #00652F
|
||||
footer.icon.enabled.color = #02DB99
|
||||
footer.gradient.top = #007F46
|
||||
footer.gradient.bottom = #007F46
|
||||
footer.tab.selected.color = #00A568
|
||||
footer.tab.enabled.color = #007F46
|
||||
footer.updates.text.color = #000000
|
||||
footer.updates.indicator.field.color = #001E00
|
||||
footer.updates.indicator.text.color = #71FFD5
|
||||
@@ -131,8 +131,8 @@ console.scrollbar.color = #19241F
|
||||
editor.fgcolor = #000000
|
||||
editor.bgcolor = #FFFFFE
|
||||
|
||||
editor.gradient.top = #ACAAAA
|
||||
editor.gradient.bottom = #00652F
|
||||
editor.gradient.top = #C7C5C5
|
||||
editor.gradient.bottom = #007F46
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #D4F8F0
|
||||
@@ -152,10 +152,10 @@ editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #009055
|
||||
editor.scrollbar.thumb.rollover.color = #008249
|
||||
editor.scrollbar.thumb.pressed.color = #008249
|
||||
editor.scrollbar.color = #00723A
|
||||
editor.scrollbar.thumb.enabled.color = #00A568
|
||||
editor.scrollbar.thumb.rollover.color = #009459
|
||||
editor.scrollbar.thumb.pressed.color = #009459
|
||||
editor.scrollbar.color = #008A50
|
||||
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
@@ -164,7 +164,7 @@ editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.color = #020000
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #7E7C7C
|
||||
editor.gutter.linehighlight.color = #91908F
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -182,102 +182,102 @@ editor.column.warning.color = #FFFEFE
|
||||
## ErrorTable - second tab below the console area, lists errors and warnings ##
|
||||
|
||||
errors.header.font = processing.sans,plain,12
|
||||
errors.header.bgcolor = #002400
|
||||
errors.header.fgcolor = #6FA289
|
||||
errors.bgcolor = #003909
|
||||
errors.header.bgcolor = #002600
|
||||
errors.header.fgcolor = #71A48B
|
||||
errors.bgcolor = #004514
|
||||
errors.row.font = processing.sans,plain,12
|
||||
errors.row.fgcolor = #64D9A7
|
||||
errors.row.bgcolor = #003909
|
||||
errors.row.fgcolor = #67DDAA
|
||||
errors.row.bgcolor = #004514
|
||||
errors.selection.fgcolor = #FFFFFE
|
||||
errors.selection.bgcolor = #007C43
|
||||
errors.selection.bgcolor = #009055
|
||||
errors.selection.error.bgcolor = #FFFFFE
|
||||
errors.selection.warning.bgcolor = #00CB86
|
||||
errors.indicator.error.color = #64D9A7
|
||||
errors.indicator.warning.color = #007840
|
||||
errors.selection.warning.bgcolor = #004D18
|
||||
errors.indicator.error.color = #67DDAA
|
||||
errors.indicator.warning.color = #008148
|
||||
|
||||
|
||||
## ManagerTabs - tabs in the Contribution Manager ##
|
||||
|
||||
manager.tab.selected.color = #EAE9E8
|
||||
manager.tab.unselected.color = #B7B6B6
|
||||
manager.tab.selected.color = #F1F0F0
|
||||
manager.tab.unselected.color = #C6C4C4
|
||||
manager.tab.text.font = processing.sans,bold,14
|
||||
manager.tab.text.selected.color = #000000
|
||||
manager.tab.text.unselected.color = #585756
|
||||
manager.tab.gradient.top = #878585
|
||||
manager.tab.gradient.bottom = #878585
|
||||
manager.tab.text.unselected.color = #5E5D5D
|
||||
manager.tab.gradient.top = #9C9A9A
|
||||
manager.tab.gradient.bottom = #9C9A9A
|
||||
|
||||
|
||||
## ManagerFrame - main window for the Contribution Manager ##
|
||||
|
||||
# same as manager.tab.gradient.top, because .bottom is between the tabs
|
||||
manager.tab.background = #878585
|
||||
manager.tab.background = #9C9A9A
|
||||
|
||||
|
||||
## ContributionTab
|
||||
|
||||
# category chooser for libraries
|
||||
manager.categories.enabled.fgcolor = #EFD0CB
|
||||
manager.categories.enabled.bgcolor = #5B433F
|
||||
manager.categories.disabled.fgcolor = #664C48
|
||||
manager.categories.disabled.bgcolor = #5B433F
|
||||
manager.categories.selected.fgcolor = #004433
|
||||
manager.categories.selected.bgcolor = #1EF7DB
|
||||
manager.categories.enabled.fgcolor = #F4D5CF
|
||||
manager.categories.enabled.bgcolor = #6F5551
|
||||
manager.categories.disabled.fgcolor = #6D534F
|
||||
manager.categories.disabled.bgcolor = #6F5551
|
||||
manager.categories.selected.fgcolor = #004534
|
||||
manager.categories.selected.bgcolor = #2AFCE0
|
||||
|
||||
|
||||
# error window (X) close button
|
||||
manager.error.close.icon.color = #000000
|
||||
|
||||
manager.scrollbar.thumb.enabled.color = #BEBDBD
|
||||
manager.scrollbar.thumb.rollover.color = #AAA8A8
|
||||
manager.scrollbar.thumb.pressed.color = #AAA8A8
|
||||
manager.scrollbar.color = #E4E3E3
|
||||
manager.scrollbar.thumb.enabled.color = #C4C3C3
|
||||
manager.scrollbar.thumb.rollover.color = #AFADAD
|
||||
manager.scrollbar.thumb.pressed.color = #AFADAD
|
||||
manager.scrollbar.color = #ECEAEA
|
||||
|
||||
manager.search.text.color = #000000
|
||||
manager.search.icon.color = #5F5D5D
|
||||
manager.search.background.color = #C0BFBE
|
||||
manager.search.caret.color = #00392E
|
||||
manager.search.background.color = #C7C6C5
|
||||
manager.search.caret.color = #003A2F
|
||||
manager.search.placeholder.color = #5F5D5D
|
||||
manager.search.selection.text.color = #000000
|
||||
manager.search.selection.background.color = #BE887F
|
||||
manager.search.selection.background.color = #C48D84
|
||||
|
||||
|
||||
## ListPanel – the listing inside a Contribution Manager tab ##
|
||||
|
||||
manager.list.heavy.font = processing.sans,bold,14
|
||||
manager.list.background.color = #EAE9E8
|
||||
manager.list.header.fgcolor = #4A201B
|
||||
manager.list.header.bgcolor = #DCDADA
|
||||
manager.list.section.color = #EAE9E8
|
||||
manager.list.selection.color = #B39691
|
||||
manager.list.icon.color = #003A2C
|
||||
manager.list.background.color = #F1F0F0
|
||||
manager.list.header.fgcolor = #4B211C
|
||||
manager.list.header.bgcolor = #E3E2E1
|
||||
manager.list.section.color = #F1F0F0
|
||||
manager.list.selection.color = #B89B96
|
||||
manager.list.icon.color = #003B2D
|
||||
manager.list.text.color = #000000
|
||||
manager.list.foundation.color = #003B2C
|
||||
manager.list.incompatible.selection.color = #D0CFCE
|
||||
manager.list.incompatible.text.color = #777676
|
||||
manager.list.foundation.color = #003C2D
|
||||
manager.list.incompatible.selection.color = #D6D5D5
|
||||
manager.list.incompatible.text.color = #7A7A79
|
||||
|
||||
|
||||
## StatusPanel - the bottom panel with detail about a contribution
|
||||
|
||||
manager.panel.font = processing.sans,plain,11
|
||||
manager.panel.background.color = #745A56
|
||||
manager.panel.background.color = #896E69
|
||||
manager.panel.text.color = #FFFFFE
|
||||
manager.panel.link.color = #1EF7DB
|
||||
manager.panel.foundation.color = #00FFE6
|
||||
manager.panel.link.color = #2AFCE0
|
||||
manager.panel.foundation.color = #00FFE9
|
||||
|
||||
manager.button.enabled.background.color = #4C3430
|
||||
manager.button.enabled.background.color = #573F3B
|
||||
manager.button.enabled.text.color = #FFFFFE
|
||||
manager.button.enabled.icon.color = #1EF7DB
|
||||
manager.button.pressed.background.color = #26120D
|
||||
manager.button.pressed.text.color = #1EF7DB
|
||||
manager.button.pressed.icon.color = #1EF7DB
|
||||
manager.button.disabled.background.color = #604743
|
||||
manager.button.disabled.text.color = #BAB1AF
|
||||
manager.button.disabled.icon.color = #BAB1AF
|
||||
manager.button.enabled.icon.color = #2AFCE0
|
||||
manager.button.pressed.background.color = #2A1512
|
||||
manager.button.pressed.text.color = #2AFCE0
|
||||
manager.button.pressed.icon.color = #2AFCE0
|
||||
manager.button.disabled.background.color = #705651
|
||||
manager.button.disabled.text.color = #C1B8B6
|
||||
manager.button.disabled.icon.color = #C1B8B6
|
||||
|
||||
manager.progress.complete.fgcolor = #FFFFFE
|
||||
manager.progress.complete.bgcolor = #00D5BA
|
||||
manager.progress.incomplete.fgcolor = #BAB1AF
|
||||
manager.progress.incomplete.bgcolor = #26120D
|
||||
manager.progress.complete.bgcolor = #00DEC3
|
||||
manager.progress.incomplete.fgcolor = #C1B8B6
|
||||
manager.progress.incomplete.bgcolor = #2A1512
|
||||
|
||||
|
||||
## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
|
||||
|
||||
@@ -40,6 +40,8 @@ X implement 4x4 by auto-generating from svg versions
|
||||
X make drag events work properly
|
||||
X add buttons for 'reload theme' and 'how to create themes' to theme fella
|
||||
X remove the 'reload theme' tool
|
||||
X both sets working, loading from folders
|
||||
X fixed up html wiring for styles
|
||||
|
||||
design/errors
|
||||
X errors table theme
|
||||
|
||||
Reference in New Issue
Block a user