File tree 32 files changed +102
-102
lines changed
32 files changed +102
-102
lines changed Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #0066C5
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #C0FFFF
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #374E81
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #834548
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #FFEBEC
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #0087A9
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #49D0A7
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #1A0300
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #9C9824
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #431D29
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #FFF2FF
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #544587
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #47502C
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #FBFFD7
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #3D4B37
Original file line number Diff line number Diff line change @@ -161,16 +161,16 @@ editor.scrollbar.color = #978FAC
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #540000
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 90
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 60
171
171
172
172
# bgcolor for the current (highlighted) line
173
- editor.gutter.highlight.color = #CA0022
173
+ editor.gutter.highlight.color = #F7637B
174
174
175
175
# squiggly line underneath errors in the editor
176
176
editor.error.underline.color = #000000
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #9D0038
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #FFE8FF
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #8F4965
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #F07D44
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #3E0000
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #D9964A
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #E9E9E9
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #00003B
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #809AE3
Original file line number Diff line number Diff line change @@ -161,16 +161,16 @@ editor.scrollbar.color = #FF6E38
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #000049
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
- editor.gutter.highlight.color = #4F4CA9
173
+ editor.gutter.highlight.color = #9090ED
174
174
175
175
# squiggly line underneath errors in the editor
176
176
editor.error.underline.color = #000000
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #FF8F2F
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #470000
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 90
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 50
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #CF226A
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #697982
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #EFFFFF
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #7C5295
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #4E535A
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #FAFFFF
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #535558
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #00593B
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #B7FFEA
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #347A00
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #A55134
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #FFFDFB
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #888280
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #008A50
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
165
- editor.gutter.text.color = #71FFD5
164
+ editor.gutter.text.font = processing.mono,bold,16
165
+ editor.gutter.text.color = #CBFFEF
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 90
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 60
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #8F9090
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #092D38
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #E1FFFF
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #30505D
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #4A4E59
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #FAFEFF
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #686C78
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #00926F
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #001E00
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #007757
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #B9BDC4
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #000009
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #92969D
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #BD8A68
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #270000
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #9C6D4C
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #402563
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #FFEFFF
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #654788
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #7A896D
161
161
162
162
## PdeTextAreaPainter - extras added to the editor ##
163
163
164
- editor.gutter.text.font = processing.mono,plain,12
164
+ editor.gutter.text.font = processing.mono,bold,16
165
165
editor.gutter.text.color = #000700
166
166
167
167
# transparency (0..100) for line numbers in gutter
168
- editor.gutter.text.active.alpha = 70
168
+ editor.gutter.text.active.alpha = 80
169
169
# transparency for lines not currently in use
170
- editor.gutter.text.inactive.alpha = 30
170
+ editor.gutter.text.inactive.alpha = 40
171
171
172
172
# bgcolor for the current (highlighted) line
173
173
editor.gutter.highlight.color = #606F54
You can’t perform that action at this time.
0 commit comments