File tree Expand file tree Collapse file tree 16 files changed +51
-51
lines changed
build/shared/lib/theme/Minerals Expand file tree Collapse file tree 16 files changed +51
-51
lines changed Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #092D38
161161
162162## PdeTextAreaPainter - extras added to the editor ##
163163
164- editor.gutter.text.font = processing.mono,plain,12
164+ editor.gutter.text.font = processing.mono,bold,16
165165editor.gutter.text.color = #E1FFFF
166166
167167# transparency (0..100) for line numbers in gutter
168- editor.gutter.text.active.alpha = 70
168+ editor.gutter.text.active.alpha = 80
169169# transparency for lines not currently in use
170- editor.gutter.text.inactive.alpha = 30
170+ editor.gutter.text.inactive.alpha = 40
171171
172172# bgcolor for the current (highlighted) line
173173editor.gutter.highlight.color = #30505D
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #4A4E59
161161
162162## PdeTextAreaPainter - extras added to the editor ##
163163
164- editor.gutter.text.font = processing.mono,plain,12
164+ editor.gutter.text.font = processing.mono,bold,16
165165editor.gutter.text.color = #FAFEFF
166166
167167# transparency (0..100) for line numbers in gutter
168- editor.gutter.text.active.alpha = 70
168+ editor.gutter.text.active.alpha = 80
169169# transparency for lines not currently in use
170- editor.gutter.text.inactive.alpha = 30
170+ editor.gutter.text.inactive.alpha = 40
171171
172172# bgcolor for the current (highlighted) line
173173editor.gutter.highlight.color = #686C78
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #00926F
161161
162162## PdeTextAreaPainter - extras added to the editor ##
163163
164- editor.gutter.text.font = processing.mono,plain,12
164+ editor.gutter.text.font = processing.mono,bold,16
165165editor.gutter.text.color = #001E00
166166
167167# transparency (0..100) for line numbers in gutter
168- editor.gutter.text.active.alpha = 70
168+ editor.gutter.text.active.alpha = 80
169169# transparency for lines not currently in use
170- editor.gutter.text.inactive.alpha = 30
170+ editor.gutter.text.inactive.alpha = 40
171171
172172# bgcolor for the current (highlighted) line
173173editor.gutter.highlight.color = #007757
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #B9BDC4
161161
162162## PdeTextAreaPainter - extras added to the editor ##
163163
164- editor.gutter.text.font = processing.mono,plain,12
164+ editor.gutter.text.font = processing.mono,bold,16
165165editor.gutter.text.color = #000009
166166
167167# transparency (0..100) for line numbers in gutter
168- editor.gutter.text.active.alpha = 70
168+ editor.gutter.text.active.alpha = 80
169169# transparency for lines not currently in use
170- editor.gutter.text.inactive.alpha = 30
170+ editor.gutter.text.inactive.alpha = 40
171171
172172# bgcolor for the current (highlighted) line
173173editor.gutter.highlight.color = #92969D
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #BD8A68
161161
162162## PdeTextAreaPainter - extras added to the editor ##
163163
164- editor.gutter.text.font = processing.mono,plain,12
164+ editor.gutter.text.font = processing.mono,bold,16
165165editor.gutter.text.color = #270000
166166
167167# transparency (0..100) for line numbers in gutter
168- editor.gutter.text.active.alpha = 70
168+ editor.gutter.text.active.alpha = 80
169169# transparency for lines not currently in use
170- editor.gutter.text.inactive.alpha = 30
170+ editor.gutter.text.inactive.alpha = 40
171171
172172# bgcolor for the current (highlighted) line
173173editor.gutter.highlight.color = #9C6D4C
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #402563
161161
162162## PdeTextAreaPainter - extras added to the editor ##
163163
164- editor.gutter.text.font = processing.mono,plain,12
164+ editor.gutter.text.font = processing.mono,bold,16
165165editor.gutter.text.color = #FFEFFF
166166
167167# transparency (0..100) for line numbers in gutter
168- editor.gutter.text.active.alpha = 70
168+ editor.gutter.text.active.alpha = 80
169169# transparency for lines not currently in use
170- editor.gutter.text.inactive.alpha = 30
170+ editor.gutter.text.inactive.alpha = 40
171171
172172# bgcolor for the current (highlighted) line
173173editor.gutter.highlight.color = #654788
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #7A896D
161161
162162## PdeTextAreaPainter - extras added to the editor ##
163163
164- editor.gutter.text.font = processing.mono,plain,12
164+ editor.gutter.text.font = processing.mono,bold,16
165165editor.gutter.text.color = #000700
166166
167167# transparency (0..100) for line numbers in gutter
168- editor.gutter.text.active.alpha = 70
168+ editor.gutter.text.active.alpha = 80
169169# transparency for lines not currently in use
170- editor.gutter.text.inactive.alpha = 30
170+ editor.gutter.text.inactive.alpha = 40
171171
172172# bgcolor for the current (highlighted) line
173173editor.gutter.highlight.color = #606F54
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #6C7076
161161
162162## PdeTextAreaPainter - extras added to the editor ##
163163
164- editor.gutter.text.font = processing.mono,plain,12
164+ editor.gutter.text.font = processing.mono,bold,16
165165editor.gutter.text.color = #000009
166166
167167# transparency (0..100) for line numbers in gutter
168- editor.gutter.text.active.alpha = 70
168+ editor.gutter.text.active.alpha = 80
169169# transparency for lines not currently in use
170- editor.gutter.text.inactive.alpha = 30
170+ editor.gutter.text.inactive.alpha = 40
171171
172172# bgcolor for the current (highlighted) line
173173editor.gutter.highlight.color = #565A60
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #973542
161161
162162## PdeTextAreaPainter - extras added to the editor ##
163163
164- editor.gutter.text.font = processing.mono,plain,12
165- editor.gutter.text.color = #FFDFE5
164+ editor.gutter.text.font = processing.mono,bold,16
165+ editor.gutter.text.color = #FFEFF2
166166
167167# transparency (0..100) for line numbers in gutter
168- editor.gutter.text.active.alpha = 70
168+ editor.gutter.text.active.alpha = 90
169169# transparency for lines not currently in use
170- editor.gutter.text.inactive.alpha = 30
170+ editor.gutter.text.inactive.alpha = 40
171171
172172# bgcolor for the current (highlighted) line
173173editor.gutter.highlight.color = #B9545E
Original file line number Diff line number Diff line change @@ -161,13 +161,13 @@ editor.scrollbar.color = #CC383C
161161
162162## PdeTextAreaPainter - extras added to the editor ##
163163
164- editor.gutter.text.font = processing.mono,plain,12
165- editor.gutter.text.color = #460000
164+ editor.gutter.text.font = processing.mono,bold,16
165+ editor.gutter.text.color = #fbb5b5
166166
167167# transparency (0..100) for line numbers in gutter
168- editor.gutter.text.active.alpha = 70
168+ editor.gutter.text.active.alpha = 100
169169# transparency for lines not currently in use
170- editor.gutter.text.inactive.alpha = 30
170+ editor.gutter.text.inactive.alpha = 70
171171
172172# bgcolor for the current (highlighted) line
173173editor.gutter.highlight.color = #B11928
You can’t perform that action at this time.
0 commit comments