mirror of
https://github.com/processing/processing4.git
synced 2026-02-03 05:39:18 +01:00
170 lines
4.9 KiB
Plaintext
170 lines
4.9 KiB
Plaintext
# STATUS
|
|
# Status messages (1 file added to sketch, errors, etc)
|
|
status.notice.fgcolor = #000000
|
|
status.notice.bgcolor = #818b95
|
|
status.error.fgcolor = #ffffff
|
|
status.error.bgcolor = #9E0A0A
|
|
status.warning.bgcolor = #EF8115
|
|
status.warning.fgcolor = #FFFFFF
|
|
status.font = processing.sans,plain,13
|
|
|
|
# HEADER TABS
|
|
# Settings for the tab area at the top.
|
|
header.text.font = processing.sans,bold,14
|
|
header.text.selected.color = #000000
|
|
header.text.unselected.color = #ffffff
|
|
header.tab.arrow.color = #ffffff
|
|
header.gradient.top = #132638
|
|
header.gradient.bottom = #122535
|
|
header.tab.selected.color = #e0fffd
|
|
header.tab.unselected.color = #2d4251
|
|
header.tab.modified.color = #ef8115
|
|
|
|
# FOOTER TABS
|
|
footer.text.font = processing.sans,bold,12
|
|
footer.text.selected.color = #e0fffd
|
|
footer.text.unselected.color = #95adb0
|
|
footer.tab.arrow.color = #ffffff
|
|
footer.gradient.top = #132638
|
|
footer.gradient.bottom = #122535
|
|
footer.tab.selected.color = #2d4251
|
|
footer.tab.unselected.color = #1f3241
|
|
# updates orange #eb7f15
|
|
footer.updates.color = #ed7f15
|
|
|
|
# CONSOLE
|
|
# The font is handled by preferences, so its size/etc are modifiable.
|
|
console.color = #000000
|
|
console.output.color = #cccccc
|
|
# text color for errors printed in the console
|
|
console.error.color = #d9211e
|
|
|
|
# TOOLBAR BUTTONS
|
|
buttons.bgcolor = #000000
|
|
|
|
# for the debug and mode buttons
|
|
#reversed.gradient.top = #10212f
|
|
#reversed.gradient.bottom = #122637
|
|
|
|
## size of divider between editing area and the console
|
|
#divider.size = 0
|
|
## the larger divider on windows is ugly with the little arrows
|
|
## this makes it large enough to see (mouse changes) and use,
|
|
## but keeps it from being annoyingly obtrusive
|
|
#divider.size.windows = 2
|
|
|
|
divider.height = 9
|
|
divider.color = #CCCCCC
|
|
divider.dot.diameter = 3
|
|
divider.dot.color = #505050
|
|
|
|
# TOOLBAR BUTTON TEXT
|
|
toolbar.rollover.font = processing.sans,plain,12
|
|
toolbar.rollover.color = #ffffff
|
|
toolbar.gradient.top = #142a3e
|
|
toolbar.gradient.bottom = #132638
|
|
|
|
# MODE SELECTOR
|
|
#mode.title.font = processing.sans,bold,15
|
|
mode.title.font = processing.sans,plain,12
|
|
mode.title.color = #ffffff
|
|
# outline color of the mode button
|
|
#mode.button.color = #ffffff
|
|
#mode.button.gap = 13
|
|
#mode.arrow.width
|
|
#mode.background.color = #3D5362
|
|
# stolen from gradient bottom
|
|
mode.background.color = #132638
|
|
mode.outline.color = #3a505e
|
|
|
|
|
|
# EDITOR - DETAILS
|
|
|
|
# foreground and background colors
|
|
editor.fgcolor = #000000
|
|
editor.bgcolor = #ffffff
|
|
|
|
editor.gradient.top = #122535
|
|
editor.gradient.bottom = #010305
|
|
|
|
# highlight for the current line
|
|
#editor.linehighlight.color=#e2e2e2
|
|
editor.linehighlight.color=#ebfffd
|
|
# highlight for the current line
|
|
editor.linehighlight=true
|
|
|
|
editor.caret.color = #333300
|
|
editor.selection.color = #ffcc00
|
|
|
|
# area that's not in use by the text (replaced with tildes)
|
|
editor.invalid.style = #7e7e7e,bold
|
|
|
|
# little pooties at the end of lines that show where they finish
|
|
editor.eolmarkers = false
|
|
editor.eolmarkers.color = #999999
|
|
|
|
# bracket/brace highlighting
|
|
editor.brackethighlight = true
|
|
editor.brackethighlight.color = #006699
|
|
|
|
editor.gutter.text.font = processing.mono,plain,11
|
|
#editor.gutter.text.color = #657d87
|
|
#editor.gutter.text.color = #587478
|
|
editor.gutter.text.color = #bbd6d5
|
|
|
|
# marker for breakpointed lines in left hand gutter (2 ascii characters)
|
|
#editor.gutter.breakpoint.marker = <>
|
|
#editor.gutter.breakpoint.marker.color = #4a545e
|
|
|
|
# marker for the current line in left hand gutter (2 ascii characters)
|
|
#editor.gutter.currentline.marker = ->
|
|
#editor.gutter.currentline.marker.color = #e27500
|
|
|
|
# bgcolor for the current (highlighted) line
|
|
editor.gutter.linehighlight.color=#587478
|
|
|
|
# left- and right-hand gutter color
|
|
editor.gutter.bgcolor = #122535
|
|
|
|
# color of vertical separation line
|
|
#gutter.linecolor = #e9e9e9
|
|
# space (in px) added to left and right of gutter markers
|
|
editor.gutter.padding = 3
|
|
|
|
# squiggly line underneath errors in the editor
|
|
editor.error.underline.color = #C40E0E
|
|
# squiggly line underneath warnings
|
|
editor.warning.underline.color = #ffc30e
|
|
# lines next to the scrollbar showing where errors are located
|
|
editor.column.error.color = #9F1613
|
|
editor.column.warning.color = #ffc30e
|
|
|
|
# not in use?
|
|
#breakpoint.bgcolor = #f0f0f0
|
|
#currentline.bgcolor = #ffff96
|
|
|
|
errors.header.font = processing.sans,plain,12
|
|
errors.header.bgcolor = #EBEBEB
|
|
errors.header.fgcolor = #484848
|
|
errors.row.font = processing.sans,plain,12
|
|
errors.row.fgcolor = #484848
|
|
errors.row.bgcolor = #FFFFFF
|
|
errors.selection.fgcolor = #242424
|
|
errors.selection.bgcolor = #E5E5E5
|
|
errors.selection.error.bgcolor = #F5E6E6
|
|
errors.selection.warning.bgcolor = #FDF2E7
|
|
#errors.indicator.size = 3
|
|
errors.indicator.error.color = #9E0A0A
|
|
errors.indicator.warning.color = #EF8115
|
|
|
|
manager.tab.selected.color = #e0fffd
|
|
manager.tab.unselected.color = #2d4251
|
|
manager.tab.text.font = processing.sans,bold,14
|
|
manager.tab.text.selected.color = #000000
|
|
manager.tab.text.unselected.color = #ffffff
|
|
# orange circle for updates
|
|
manager.tab.update.color = #ed7f15
|
|
manager.tab.gradient.top = #132638
|
|
manager.tab.gradient.bottom = #122535
|
|
manager.tab.background = #132638
|