mirror of
https://github.com/processing/processing4.git
synced 2026-02-03 21:59:20 +01:00
122 lines
3.4 KiB
Plaintext
122 lines
3.4 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 = #662000
|
|
status.edit.fgcolor = #000000
|
|
status.edit.bgcolor = #cc9900
|
|
status.font = processing.sans,plain,14
|
|
|
|
# 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
|
|
|
|
# LOWER TABS
|
|
footer.text.font = processing.sans,bold,12
|
|
footer.text.selected.color = #ffffff
|
|
footer.text.unselected.color = #000000
|
|
footer.tab.arrow.color = #ffffff
|
|
footer.gradient.top = #132638
|
|
footer.gradient.bottom = #122535
|
|
footer.tab.selected.color = #3D5362
|
|
footer.tab.unselected.color = #2d4251
|
|
|
|
# CONSOLE
|
|
# The font is handled by preferences, so its size/etc are modifiable.
|
|
console.color = #000000
|
|
console.output.color = #cccccc
|
|
console.error.color = #ff3000
|
|
|
|
# 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
|
|
#buttons.status.font = processing.sans,bold,13
|
|
#buttons.status.color = #ffffff
|
|
#toolbar.sketch.font = processing.sans,plain,24
|
|
#toolbar.sketch.color = #ffffff
|
|
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
|
|
|
|
# LINE STATUS
|
|
# The editor line number status bar at the bottom of the screen
|
|
#linestatus.color = #ffffff
|
|
#linestatus.bgcolor = #29333d
|
|
#linestatus.font = processing.sans,plain,13
|
|
#linestatus.height = 20
|
|
|
|
|
|
# EDITOR - DETAILS
|
|
|
|
# foreground and background colors
|
|
editor.fgcolor = #000000
|
|
editor.bgcolor = #ffffff
|
|
|
|
editor.gradient.top = #122535
|
|
editor.gradient.bottom = #020408
|
|
|
|
# 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
|
|
editor.gutter.linehighlight.color=#587478
|