mirror of
https://github.com/processing/processing4.git
synced 2026-06-16 04:26:26 +02:00
Merge pull request #1000 from babaissarkar/theme-line-numbers-contrast-fix
increase contrast of line numbers
This commit is contained in:
@@ -161,13 +161,13 @@ editor.scrollbar.color = #0066C5
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #C0FFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #374E81
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #834548
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #FFEBEC
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #0087A9
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #49D0A7
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #1A0300
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #9C9824
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #431D29
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #FFF2FF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #544587
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #47502C
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #FBFFD7
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #3D4B37
|
||||
|
||||
@@ -161,16 +161,16 @@ editor.scrollbar.color = #978FAC
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #540000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 90
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 60
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #CA0022
|
||||
editor.gutter.highlight.color = #F7637B
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #9D0038
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #FFE8FF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #8F4965
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #F07D44
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #3E0000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #D9964A
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #E9E9E9
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #00003B
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #809AE3
|
||||
|
||||
@@ -161,16 +161,16 @@ editor.scrollbar.color = #FF6E38
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #000049
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #4F4CA9
|
||||
editor.gutter.highlight.color = #9090ED
|
||||
|
||||
# squiggly line underneath errors in the editor
|
||||
editor.error.underline.color = #000000
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #FF8F2F
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #470000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 90
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 50
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #CF226A
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #697982
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #EFFFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #7C5295
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #4E535A
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #FAFFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #535558
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #00593B
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #B7FFEA
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #347A00
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #A55134
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #FFFDFB
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #888280
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #008A50
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #71FFD5
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #CBFFEF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 90
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 60
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #8F9090
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #092D38
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #E1FFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #30505D
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #4A4E59
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #FAFEFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #686C78
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #00926F
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #001E00
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #007757
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #B9BDC4
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #000009
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #92969D
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #BD8A68
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #270000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #9C6D4C
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #402563
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #FFEFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #654788
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #7A896D
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #000700
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #606F54
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #6C7076
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #000009
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #565A60
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #973542
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #FFDFE5
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #FFEFF2
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 90
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #B9545E
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #CC383C
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #460000
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #fbb5b5
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 100
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 70
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #B11928
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #5E93BF
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.color = #00072B
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #000833
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #3E76A0
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #313E38
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #F2FFFA
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #515F58
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #869F36
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #000D00
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #678015
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #EFBA4E
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #2D0000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #C29225
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #06545D
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #C9FFFF
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 40
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #32747C
|
||||
|
||||
@@ -161,13 +161,13 @@ editor.scrollbar.color = #DE5C25
|
||||
|
||||
## PdeTextAreaPainter - extras added to the editor ##
|
||||
|
||||
editor.gutter.text.font = processing.mono,plain,12
|
||||
editor.gutter.text.font = processing.mono,bold,16
|
||||
editor.gutter.text.color = #440000
|
||||
|
||||
# transparency (0..100) for line numbers in gutter
|
||||
editor.gutter.text.active.alpha = 70
|
||||
editor.gutter.text.active.alpha = 80
|
||||
# transparency for lines not currently in use
|
||||
editor.gutter.text.inactive.alpha = 30
|
||||
editor.gutter.text.inactive.alpha = 50
|
||||
|
||||
# bgcolor for the current (highlighted) line
|
||||
editor.gutter.highlight.color = #BC4007
|
||||
|
||||
Reference in New Issue
Block a user