mirror of
https://github.com/processing/processing4.git
synced 2026-06-16 04:26:26 +02:00
include new fields in theme data
This commit is contained in:
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #8AB2FF
|
||||
status.warning.fgcolor = #00288C
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #00329A
|
||||
status.url.pressed.color = #000466
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #001F4A
|
||||
editor.gradient.bottom = #005BB8
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #00193B
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #00193B
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #072D5C
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #E691BC
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #0E81E4
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #0066C5
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #C0FFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #374E81
|
||||
editor.gutter.highlight.color = #374E81
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #00427A
|
||||
status.warning.fgcolor = #00F7FF
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #00EBFF
|
||||
status.url.pressed.color = #00FFFF
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #00B4D7
|
||||
editor.gradient.bottom = #75383C
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #C5F9FF
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #C5F9FF
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #A3DDEE
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #A46264
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #834548
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #FFEBEC
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #0087A9
|
||||
editor.gutter.highlight.color = #0087A9
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #4E5000
|
||||
status.warning.fgcolor = #E3DE3C
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #D0CB26
|
||||
status.url.pressed.color = #FFFF64
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #D7CF5C
|
||||
editor.gradient.bottom = #5DE2B8
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #F5F1D8
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #F5F1D8
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #D9D5B9
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #00A881
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #49D0A7
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #1A0300
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #9C9824
|
||||
editor.gutter.highlight.color = #9C9824
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #BFA2FF
|
||||
status.warning.fgcolor = #000A90
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #00169E
|
||||
status.url.pressed.color = #000069
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #1D1550
|
||||
editor.gradient.bottom = #330E1C
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #19123D
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #19123D
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #2F245F
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #F08F99
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #69404D
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #431D29
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #FFF2FF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #544587
|
||||
editor.gutter.highlight.color = #544587
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #86A100
|
||||
status.warning.fgcolor = #242500
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #2A3600
|
||||
status.url.pressed.color = #110A00
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #0A1900
|
||||
editor.gradient.bottom = #3B4320
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #1B1B1B
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #1D1A00
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #283000
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #3ABDAF
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #666E49
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #47502C
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #FBFFD7
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #3D4B37
|
||||
editor.gutter.highlight.color = #3D4B37
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #771F23
|
||||
status.warning.fgcolor = #FFA29D
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #FF938E
|
||||
status.url.pressed.color = #FFCCC4
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #F61F3F
|
||||
editor.gradient.bottom = #A49CB9
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #FFE7E4
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #FFE7E4
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #F4CAC6
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #79718D
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #978FAC
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #540000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #CA0022
|
||||
editor.gutter.highlight.color = #CA0022
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #E46000
|
||||
status.warning.fgcolor = #520000
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #660D00
|
||||
status.url.pressed.color = #3F0000
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #5B1937
|
||||
editor.gradient.bottom = #8B002C
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #1B1B1B
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #440900
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #621B00
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #CE94F0
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #C80058
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #9D0038
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #FFE8FF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #8F4965
|
||||
editor.gutter.highlight.color = #8F4965
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #6D2E00
|
||||
status.warning.fgcolor = #FFC679
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #FFB86B
|
||||
status.url.pressed.color = #FFF0A0
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #FFD384
|
||||
editor.gradient.bottom = #FF8B51
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #FFECD8
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #FFECD8
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #E9D0B9
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #C95D26
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #F07D44
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #3E0000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #D9964A
|
||||
editor.gutter.highlight.color = #D9964A
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #C40000
|
||||
status.warning.bgcolor = #005592
|
||||
status.warning.fgcolor = #72DFFF
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #56CBFF
|
||||
status.url.pressed.color = #9FFFFF
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #BDD4FF
|
||||
editor.gradient.bottom = #FFFFFE
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #E4F1FF
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #E4F1FF
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #C6D5EF
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #B8B8B8
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #E9E9E9
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #00003B
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #809AE3
|
||||
editor.gutter.highlight.color = #809AE3
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FF002C
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #001786
|
||||
status.warning.fgcolor = #D0C1FF
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #C7B9FF
|
||||
status.url.pressed.color = #FFF1FF
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #726ACC
|
||||
editor.gradient.bottom = #FF7D46
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #F3EDFF
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #F3EDFF
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #D6D0EF
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #EB4A16
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #FF6E38
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #000049
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #4F4CA9
|
||||
editor.gutter.highlight.color = #4F4CA9
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #8E0037
|
||||
status.warning.fgcolor = #FFADD0
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #FF9FC2
|
||||
status.url.pressed.color = #FFD7FB
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #FF5791
|
||||
editor.gradient.bottom = #FFA041
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #FFE8EF
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #FFE8EF
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #F0CBD3
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #F76800
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #FF8F2F
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #470000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #CF226A
|
||||
editor.gutter.highlight.color = #CF226A
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #EA9EFF
|
||||
status.warning.fgcolor = #41008D
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #4F0099
|
||||
status.url.pressed.color = #0B0064
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #4B2564
|
||||
editor.gradient.bottom = #5F6F78
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #2D1141
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #2D1141
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #482262
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #CE94F0
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #80919B
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #697982
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #EFFFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #7C5295
|
||||
editor.gutter.highlight.color = #7C5295
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #999EA6
|
||||
status.warning.fgcolor = #002453
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #003365
|
||||
status.url.pressed.color = #000435
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #242528
|
||||
editor.gradient.bottom = #42464E
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #191B1E
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #191B1E
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #2D2F34
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #EB90AD
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #6C7078
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #4E535A
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #FAFFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #535558
|
||||
editor.gutter.highlight.color = #535558
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #004429
|
||||
status.warning.fgcolor = #38EEB2
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #1CE0A5
|
||||
status.url.pressed.color = #72FFDC
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #5FA200
|
||||
editor.gradient.bottom = #004B2F
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #D8F7E9
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #D8F7E9
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #B9DCCC
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #1A7959
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #00593B
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #B7FFEA
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #347A00
|
||||
editor.gutter.highlight.color = #347A00
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #ABABAB
|
||||
status.warning.fgcolor = #232323
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #303030
|
||||
status.url.pressed.color = #000000
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #635D5B
|
||||
editor.gradient.bottom = #97462A
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #272727
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #272727
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #3D3D3D
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #EB90AB
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #C36B4D
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #A55134
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #FFFDFB
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #888280
|
||||
editor.gutter.highlight.color = #888280
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #004D41
|
||||
status.warning.fgcolor = #00F0D4
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #00E0C4
|
||||
status.url.pressed.color = #58FFFD
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #C5C6C6
|
||||
editor.gradient.bottom = #007F46
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #D4F8F0
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #D4F8F0
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #B5DCD3
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #00A568
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #008A50
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #71FFD5
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #8F9090
|
||||
editor.gutter.highlight.color = #8F9090
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #72777A
|
||||
status.warning.fgcolor = #002649
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #003B61
|
||||
status.url.pressed.color = #001432
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #001F2A
|
||||
editor.gradient.bottom = #001F2A
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #161819
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #161819
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #2A2D2E
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #CE94F0
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #30505D
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #092D38
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #E1FFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #30505D
|
||||
editor.gutter.highlight.color = #30505D
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #F8954A
|
||||
status.warning.fgcolor = #5E0000
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #6D0000
|
||||
status.url.pressed.color = #440000
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #3E424C
|
||||
editor.gradient.bottom = #3E424C
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #3C1700
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #3C1700
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #592900
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #EA90B0
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #686C78
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #4A4E59
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #FAFEFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #686C78
|
||||
editor.gutter.highlight.color = #686C78
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #004A5B
|
||||
status.warning.fgcolor = #00F0FF
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #00E0FF
|
||||
status.url.pressed.color = #00FFFF
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #009D7A
|
||||
editor.gradient.bottom = #009D7A
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #C5F9FF
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #C5F9FF
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #A3DDEE
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #007757
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #00926F
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #001E00
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #007757
|
||||
editor.gutter.highlight.color = #007757
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #C40000
|
||||
status.warning.bgcolor = #033D66
|
||||
status.warning.fgcolor = #80D9FF
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #6FCBFF
|
||||
status.url.pressed.color = #B0FFFF
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #CBCED6
|
||||
editor.gradient.bottom = #CBCED6
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #E3F1FF
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #E3F1FF
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #C5D5EF
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #92969D
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #B9BDC4
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #000009
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #92969D
|
||||
editor.gutter.highlight.color = #92969D
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FF002C
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #5B1B00
|
||||
status.warning.fgcolor = #FFB252
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #FFA747
|
||||
status.url.pressed.color = #FFDF7D
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #CC9875
|
||||
editor.gradient.bottom = #CC9875
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #FFEBD8
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #FFEBD8
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #EECEB9
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #9C6D4C
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #BD8A68
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #270000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #9C6D4C
|
||||
editor.gutter.highlight.color = #9C6D4C
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #A49EA9
|
||||
status.warning.fgcolor = #2F0E54
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #401D65
|
||||
status.url.pressed.color = #160036
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #301753
|
||||
editor.gradient.bottom = #301753
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #1C1A1E
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #1C1A1E
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #312E34
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #F18F95
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #654788
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #402563
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #FFEFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #654788
|
||||
editor.gutter.highlight.color = #654788
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #194200
|
||||
status.warning.fgcolor = #9AE862
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #8CDA55
|
||||
status.url.pressed.color = #C5FF8B
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #869579
|
||||
editor.gradient.bottom = #869579
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #E6F5D7
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #E6F5D7
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #C8D9B9
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #606F54
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #7A896D
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #000700
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #606F54
|
||||
editor.gutter.highlight.color = #606F54
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #8F0000
|
||||
status.warning.bgcolor = #43464C
|
||||
status.warning.fgcolor = #ACDAFF
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #9AC9FF
|
||||
status.url.pressed.color = #D4FFFF
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #767980
|
||||
editor.gradient.bottom = #767980
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #E3F1FF
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #E3F1FF
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #C5D5EF
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #565A60
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #6C7076
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #000009
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #565A60
|
||||
editor.gutter.highlight.color = #565A60
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FF002C
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #FF94A3
|
||||
status.warning.fgcolor = #7D0004
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #8A0011
|
||||
status.url.pressed.color = #510000
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #882737
|
||||
editor.gradient.bottom = #882737
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #490B17
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #490B17
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #6C1A28
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #E391C3
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #B9545E
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #973542
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #FFDFE5
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #B9545E
|
||||
editor.gutter.highlight.color = #B9545E
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #790000
|
||||
status.warning.fgcolor = #FFA298
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #FF9A90
|
||||
status.url.pressed.color = #FFD3C6
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #D84344
|
||||
editor.gradient.bottom = #D84344
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #FFE7E3
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #FFE7E3
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #F5CAC5
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #B11928
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #CC383C
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #460000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #B11928
|
||||
editor.gutter.highlight.color = #B11928
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #BF0019
|
||||
status.warning.bgcolor = #003775
|
||||
status.warning.fgcolor = #00DFFF
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #00D4FF
|
||||
status.url.pressed.color = #00FFFF
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #6BA0CC
|
||||
editor.gradient.bottom = #6BA0CC
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #DEF3FF
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #DEF3FF
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #BFD7EF
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #3E76A0
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #5E93BF
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #00072B
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #3E76A0
|
||||
editor.gutter.highlight.color = #3E76A0
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FF002C
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #17AD71
|
||||
status.warning.fgcolor = #003100
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #004000
|
||||
status.url.pressed.color = #002100
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #24302B
|
||||
editor.gradient.bottom = #24302B
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #00240C
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #00240C
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #003C1D
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #00BFD8
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #515F58
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #313E38
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #F2FFFA
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #515F58
|
||||
editor.gutter.highlight.color = #515F58
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #1B3900
|
||||
status.warning.fgcolor = #C4DB71
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #B9D067
|
||||
status.url.pressed.color = #F2FF9C
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #94AC43
|
||||
editor.gradient.bottom = #94AC43
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #EEF3D7
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #EEF3D7
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #D2D7B9
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #678015
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #869F36
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #000D00
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #678015
|
||||
editor.gutter.highlight.color = #678015
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #A56200
|
||||
status.warning.fgcolor = #FFD46C
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #FEB953
|
||||
status.url.pressed.color = #FFF188
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #FFCC5F
|
||||
editor.gradient.bottom = #FFCC5F
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #FFEDD8
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #FFEDD8
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #E6D1B9
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #C29225
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #EFBA4E
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #2D0000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #C29225
|
||||
editor.gutter.highlight.color = #C29225
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #FFFFFE
|
||||
status.warning.bgcolor = #999166
|
||||
status.warning.fgcolor = #2A2000
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #363200
|
||||
status.url.pressed.color = #1A0100
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #004750
|
||||
editor.gradient.bottom = #004750
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #24210F
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #24210F
|
||||
|
||||
editor.caret.color = #FFFFFE
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #3A361F
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #99A6F0
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #32747C
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #06545D
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #C9FFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #32747C
|
||||
editor.gutter.highlight.color = #32747C
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #FFFFFE
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #5E5E5E,plain
|
||||
editor.token.comment2.style = #5E5E5E,plain
|
||||
|
||||
editor.token.invalid.style = #5E5E5E,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
@@ -73,13 +73,10 @@ status.error.bgcolor = #000000
|
||||
status.warning.bgcolor = #662145
|
||||
status.warning.fgcolor = #FFA7E8
|
||||
|
||||
# if the status is a url, the entire status text changes to this color
|
||||
status.url.rollover.color = #FF99DA
|
||||
status.url.pressed.color = #FFD2FF
|
||||
|
||||
#status.button.enabled.color = #FFFF00
|
||||
#status.button.rollover.color = #FF00FF
|
||||
#status.button.pressed.color = #0000FF
|
||||
# applies to the entire status text if it contains url
|
||||
status.url.enabled.alpha = 70
|
||||
status.url.rollover.alpha = 90
|
||||
status.url.pressed.alpha = 100
|
||||
|
||||
status.button.enabled.alpha = 50
|
||||
status.button.rollover.alpha = 70
|
||||
@@ -140,21 +137,20 @@ editor.gradient.top = #EC6831
|
||||
editor.gradient.bottom = #EC6831
|
||||
|
||||
# highlight for the current line
|
||||
editor.linehighlight.color = #FFE8F5
|
||||
# highlight for the current line
|
||||
editor.linehighlight = true
|
||||
editor.line.highlight = true
|
||||
editor.line.highlight.color = #FFE8F5
|
||||
|
||||
editor.caret.color = #000000
|
||||
# also used by EditorHeader
|
||||
editor.selection.color = #EDCBD9
|
||||
|
||||
# little pooties at the end of lines that show where they finish
|
||||
editor.eolmarkers = false
|
||||
editor.eolmarkers.color = #999999
|
||||
editor.eol_markers = false
|
||||
editor.eol_markers.color = #999999
|
||||
|
||||
# bracket/brace highlighting
|
||||
editor.brackethighlight = true
|
||||
editor.brackethighlight.color = #006698
|
||||
editor.bracket.highlight = true
|
||||
editor.bracket.highlight.color = #006698
|
||||
|
||||
# colors for the custom scroll bar
|
||||
editor.scrollbar.thumb.enabled.color = #BC4007
|
||||
@@ -165,11 +161,16 @@ editor.scrollbar.color = #DE5C25
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,11
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #440000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.linehighlight.color = #BC4007
|
||||
editor.gutter.highlight.color = #BC4007
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
@@ -336,3 +337,11 @@ editor.token.comment1.style = #656565,plain
|
||||
editor.token.comment2.style = #656565,plain
|
||||
|
||||
editor.token.invalid.style = #656565,bold
|
||||
|
||||
|
||||
## Colors used for code completion icons ##
|
||||
|
||||
editor.completion.class.color = #ff0000
|
||||
editor.completion.field.color = #00ff00
|
||||
editor.completion.local.color = #0000ff
|
||||
editor.completion.method.color = #123456
|
||||
|
||||
Reference in New Issue
Block a user