You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
102 lines
2.4 KiB
Plaintext
102 lines
2.4 KiB
Plaintext
15 years ago
|
# GUI - STATUS
|
||
|
|
status.notice.fgcolor = #000000
|
||
|
|
status.notice.bgcolor = #54919e
|
||
|
|
status.error.fgcolor = #ffffff
|
||
|
|
status.error.bgcolor = #662000
|
||
|
|
status.edit.fgcolor = #000000
|
||
|
|
status.edit.bgcolor = #cc9900
|
||
|
|
status.font = SansSerif,plain,12
|
||
|
|
|
||
|
|
# GUI - TABS
|
||
|
|
# settings for the tabs at the top
|
||
|
|
# (tab images are stored in the lib/theme folder)
|
||
|
|
header.bgcolor = #216886
|
||
|
|
header.text.selected.color = #1a1a00
|
||
|
|
header.text.unselected.color = #ffffff
|
||
|
|
header.text.font = SansSerif,plain,12
|
||
|
|
|
||
|
|
# GUI - CONSOLE
|
||
|
|
console.font = Monospaced,plain,11
|
||
|
|
console.font.macosx = Monaco,plain,10
|
||
|
|
console.color = #000000
|
||
|
|
console.output.color = #cccccc
|
||
|
|
console.error.color = #ff3000
|
||
|
|
|
||
|
|
# GUI - BUTTONS
|
||
|
|
buttons.bgcolor = #044f6f
|
||
|
|
buttons.status.font = SansSerif,plain,12
|
||
|
|
buttons.status.color = #ffffff
|
||
|
|
|
||
|
|
# GUI - LINESTATUS
|
||
|
|
linestatus.color = #ffffff
|
||
|
|
linestatus.bgcolor = #044f6f
|
||
|
|
|
||
|
|
# EDITOR - DETAILS
|
||
|
|
|
||
|
|
# foreground and background colors
|
||
|
|
editor.fgcolor = #000000
|
||
|
|
editor.bgcolor = #ffffff
|
||
|
|
|
||
|
|
# highlight for the current line
|
||
|
|
editor.linehighlight.color=#e2e2e2
|
||
|
|
# highlight for the current line
|
||
|
|
editor.linehighlight=true
|
||
|
|
|
||
|
|
# caret blinking and caret color
|
||
|
|
editor.caret.color = #333300
|
||
|
|
|
||
|
|
# color to be used for background when 'external editor' enabled
|
||
|
|
editor.external.bgcolor = #c8d2dc
|
||
|
|
|
||
|
|
# selection color
|
||
|
|
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
|
||
|
|
|
||
|
|
|
||
|
|
# TEXT - KEYWORDS
|
||
|
|
|
||
|
|
# e.g abstract, final, private
|
||
|
|
editor.keyword1.style = #cc6600,plain
|
||
|
|
|
||
|
|
# e.g. beginShape, point, line
|
||
|
|
editor.keyword2.style = #cc6600,plain
|
||
|
|
|
||
|
|
# e.g. byte, char, short, color
|
||
|
|
editor.keyword3.style = #cc6600,bold
|
||
|
|
|
||
|
|
|
||
|
|
# TEXT - LITERALS
|
||
|
|
|
||
|
|
# constants: e.g. null, true, this, RGB, TWO_PI
|
||
|
|
editor.literal1.style = #006699,plain
|
||
|
|
|
||
|
|
# p5 built in variables: e.g. mouseX, width, pixels
|
||
|
|
editor.literal2.style = #006699,plain
|
||
|
|
|
||
|
|
# e.g. + - = /
|
||
|
|
editor.operator.style = #000000,plain
|
||
|
|
|
||
|
|
# ?? maybe this is for words followed by a colon
|
||
|
|
# like in case statements or goto
|
||
|
|
editor.label.style = #7e7e7e,bold
|
||
|
|
|
||
|
|
|
||
|
|
# TEXT - COMMENTS
|
||
|
|
editor.comment1.style = #7e7e7e,plain
|
||
|
|
editor.comment2.style = #7e7e7e,plain
|
||
|
|
|
||
|
|
|
||
|
|
# LINE STATUS - editor line number status bar at the bottom of the screen
|
||
|
|
linestatus.font = SansSerif,plain,10
|
||
|
|
linestatus.height = 20
|