Initial Commit
This commit is contained in:
173
Java/Processing/processing-3.3.6/lib/theme.txt
Normal file
173
Java/Processing/processing-3.3.6/lib/theme.txt
Normal file
@@ -0,0 +1,173 @@
|
||||
# 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.url.fgcolor = #cccccc
|
||||
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
|
||||
|
||||
# tree for Examples and Sketchbook windows
|
||||
tree.font = processing.sans,plain,12
|
||||
Reference in New Issue
Block a user