2015-03-26 15:26:17 +01:00
|
|
|
#FUNCTIONS COLOR #D35400 - ORANGE KEYWORD1
|
|
|
|
#FUNCTIONS COLOR #D35400 - ORANGE KEYWORD2
|
2016-02-19 10:22:59 +01:00
|
|
|
#STRUCTURE COLORS #728E00 - GREEN KEYWORD3
|
2016-02-26 11:46:31 +01:00
|
|
|
#CONSTANTS COLOR #00979C - BLUE LITERAL1
|
2016-02-19 10:22:59 +01:00
|
|
|
#VARIABLES COLOR #00979C - BLUE LITERAL2
|
2015-03-26 15:26:17 +01:00
|
|
|
|
|
|
|
#ERROR COLOR #A61717 - RED
|
|
|
|
#COMMENTS // COLOR #95A5A6 - LIGHT GREY
|
|
|
|
#COMMENTS /**/ COLOR #434F54 - DARK GREY
|
|
|
|
|
2009-05-31 17:53:33 +02:00
|
|
|
# GUI - STATUS
|
2011-10-27 17:45:13 +02:00
|
|
|
status.notice.fgcolor = #002325
|
|
|
|
status.notice.bgcolor = #17A1A5
|
|
|
|
status.error.fgcolor = #FFFFFF
|
|
|
|
status.error.bgcolor = #E34C00
|
2009-05-31 17:53:33 +02:00
|
|
|
status.edit.fgcolor = #000000
|
2011-10-27 17:45:13 +02:00
|
|
|
status.edit.bgcolor = #F1B500
|
2009-05-31 17:53:33 +02:00
|
|
|
status.font = SansSerif,plain,12
|
|
|
|
|
|
|
|
# GUI - TABS
|
|
|
|
# (tab images are stored in the lib/theme folder)
|
2011-10-27 17:45:13 +02:00
|
|
|
header.bgcolor = #17A1A5
|
|
|
|
header.text.selected.color = #005B5B
|
|
|
|
header.text.unselected.color = #007e82
|
2009-05-31 17:53:33 +02:00
|
|
|
header.text.font = SansSerif,plain,12
|
|
|
|
|
|
|
|
# GUI - CONSOLE
|
|
|
|
console.font = Monospaced,plain,11
|
|
|
|
console.font.macosx = Monaco,plain,10
|
|
|
|
console.color = #000000
|
2011-10-27 17:45:13 +02:00
|
|
|
console.output.color = #eeeeee
|
2015-04-07 10:10:12 +02:00
|
|
|
console.error.color = #E34C00
|
2009-05-31 17:53:33 +02:00
|
|
|
|
|
|
|
# GUI - BUTTONS
|
2011-10-27 17:45:13 +02:00
|
|
|
buttons.bgcolor = #006468
|
2009-05-31 17:53:33 +02:00
|
|
|
buttons.status.font = SansSerif,plain,12
|
|
|
|
buttons.status.color = #ffffff
|
|
|
|
|
2015-10-23 18:18:42 +02:00
|
|
|
# GUI - PLOTTING
|
|
|
|
plotting.bgcolor = #ffffff
|
|
|
|
plotting.color = #ffffff
|
2016-10-18 09:04:43 +02:00
|
|
|
plotting.gridcolor = #f0f0f0
|
|
|
|
plotting.boundscolor = #000000
|
2016-11-30 18:16:48 +01:00
|
|
|
plotting.graphcolor.size = 8
|
|
|
|
plotting.graphcolor.00 = #0000FF
|
|
|
|
plotting.graphcolor.01 = #FF0000
|
|
|
|
plotting.graphcolor.02 = #009900
|
|
|
|
plotting.graphcolor.03 = #FF9900
|
|
|
|
plotting.graphcolor.04 = #CC00CC
|
|
|
|
plotting.graphcolor.05 = #666666
|
|
|
|
plotting.graphcolor.06 = #00CCFF
|
|
|
|
plotting.graphcolor.07 = #000000
|
2015-10-23 18:18:42 +02:00
|
|
|
|
2011-10-27 17:45:13 +02:00
|
|
|
# GUI - LINESTATUS
|
2011-02-26 00:23:34 +01:00
|
|
|
linestatus.color = #ffffff
|
2011-10-27 17:45:13 +02:00
|
|
|
linestatus.bgcolor = #006468
|
2009-05-31 17:53:33 +02:00
|
|
|
|
|
|
|
# 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
|
2015-07-03 11:58:18 +02:00
|
|
|
editor.linehighlight=false
|
2009-05-31 17:53:33 +02:00
|
|
|
|
|
|
|
# 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
|
|
|
|
|
2015-03-26 15:26:17 +01:00
|
|
|
# FUNCTIONS
|
|
|
|
editor.keyword1.style = #d35400,bold
|
2015-04-27 17:23:44 +02:00
|
|
|
editor.data_type.style = #d35400,bold
|
2009-05-31 17:53:33 +02:00
|
|
|
|
2015-03-26 15:26:17 +01:00
|
|
|
# METHODS
|
|
|
|
editor.keyword2.style = #D35400,plain
|
2015-04-27 17:23:44 +02:00
|
|
|
editor.function.style = #d35400,plain
|
2009-05-31 17:53:33 +02:00
|
|
|
|
2015-03-26 15:26:17 +01:00
|
|
|
# STRUCTURES
|
2015-04-01 16:18:18 +02:00
|
|
|
editor.keyword3.style = #5E6D03,plain
|
2015-04-27 17:23:44 +02:00
|
|
|
editor.reserved_word.style = #5E6D03,plain
|
2009-05-31 17:53:33 +02:00
|
|
|
|
|
|
|
|
|
|
|
# TEXT - LITERALS
|
2016-02-26 11:46:31 +01:00
|
|
|
editor.literal1.style = #00979C,plain
|
2015-03-26 15:26:17 +01:00
|
|
|
editor.literal2.style = #00979C,plain
|
2015-04-27 17:23:44 +02:00
|
|
|
editor.variable.style = #00979C,plain
|
|
|
|
editor.reserved_word_2.style = #00979C,plain
|
2015-06-16 11:45:37 +02:00
|
|
|
editor.literal_boolean.style = #00979C,plain
|
2015-04-27 17:23:44 +02:00
|
|
|
editor.literal_char.style = #00979C,plain
|
2016-02-26 11:46:31 +01:00
|
|
|
editor.literal_string_double_quote.style = #005C5F,plain
|
2015-07-08 16:21:31 +02:00
|
|
|
editor.preprocessor.style = #5E6D03,plain
|
2009-05-31 17:53:33 +02:00
|
|
|
|
2015-05-20 17:10:06 +02:00
|
|
|
# http://www.arduino.cc/
|
2011-10-27 17:45:13 +02:00
|
|
|
editor.url.style = #0000ff,underlined
|
|
|
|
|
2009-05-31 17:53:33 +02:00
|
|
|
# e.g. + - = /
|
2015-03-26 15:26:17 +01:00
|
|
|
editor.operator.style = #434f54,plain
|
|
|
|
|
2009-05-31 17:53:33 +02:00
|
|
|
|
|
|
|
# ?? maybe this is for words followed by a colon
|
|
|
|
# like in case statements or goto
|
|
|
|
editor.label.style = #7e7e7e,bold
|
|
|
|
|
|
|
|
|
|
|
|
# TEXT - COMMENTS
|
2015-03-26 15:26:17 +01:00
|
|
|
editor.comment1.style = #434F54,plain
|
|
|
|
editor.comment2.style = #95a5a6,plain
|
2009-05-31 17:53:33 +02:00
|
|
|
|
|
|
|
|
|
|
|
# LINE STATUS - editor line number status bar at the bottom of the screen
|
|
|
|
linestatus.font = SansSerif,plain,10
|
|
|
|
linestatus.height = 20
|