diff --git a/build/shared/lib/theme/Alloys/agpalilik.txt b/build/shared/lib/theme/Alloys/agpalilik.txt index fdea1e465a..157afaa04d 100644 --- a/build/shared/lib/theme/Alloys/agpalilik.txt +++ b/build/shared/lib/theme/Alloys/agpalilik.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/armanty.txt b/build/shared/lib/theme/Alloys/armanty.txt index 7b6269bd38..7a2af81222 100644 --- a/build/shared/lib/theme/Alloys/armanty.txt +++ b/build/shared/lib/theme/Alloys/armanty.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/bacubirito.txt b/build/shared/lib/theme/Alloys/bacubirito.txt index c344ea6240..d215ef3398 100644 --- a/build/shared/lib/theme/Alloys/bacubirito.txt +++ b/build/shared/lib/theme/Alloys/bacubirito.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/bondoc.txt b/build/shared/lib/theme/Alloys/bondoc.txt index 93d78a7d9f..7f9106cecb 100644 --- a/build/shared/lib/theme/Alloys/bondoc.txt +++ b/build/shared/lib/theme/Alloys/bondoc.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/brahin.txt b/build/shared/lib/theme/Alloys/brahin.txt index 278fa6ed3e..e371cbfb15 100644 --- a/build/shared/lib/theme/Alloys/brahin.txt +++ b/build/shared/lib/theme/Alloys/brahin.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/esquel.txt b/build/shared/lib/theme/Alloys/esquel.txt index 31641367c6..7db8de73cc 100644 --- a/build/shared/lib/theme/Alloys/esquel.txt +++ b/build/shared/lib/theme/Alloys/esquel.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/gancedo.txt b/build/shared/lib/theme/Alloys/gancedo.txt index cb640b15db..4a0da3de4e 100644 --- a/build/shared/lib/theme/Alloys/gancedo.txt +++ b/build/shared/lib/theme/Alloys/gancedo.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/hoba.txt b/build/shared/lib/theme/Alloys/hoba.txt index 795a014274..948b0a30e1 100644 --- a/build/shared/lib/theme/Alloys/hoba.txt +++ b/build/shared/lib/theme/Alloys/hoba.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/imilac.txt b/build/shared/lib/theme/Alloys/imilac.txt index 9cc03ae24e..a0aed27ab0 100644 --- a/build/shared/lib/theme/Alloys/imilac.txt +++ b/build/shared/lib/theme/Alloys/imilac.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/jepara.txt b/build/shared/lib/theme/Alloys/jepara.txt index 9887380564..0fb5275539 100644 --- a/build/shared/lib/theme/Alloys/jepara.txt +++ b/build/shared/lib/theme/Alloys/jepara.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/mbozi.txt b/build/shared/lib/theme/Alloys/mbozi.txt index 2c7bd137d9..3182db46a2 100644 --- a/build/shared/lib/theme/Alloys/mbozi.txt +++ b/build/shared/lib/theme/Alloys/mbozi.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/morito.txt b/build/shared/lib/theme/Alloys/morito.txt index cfd7428af9..9ba4206887 100644 --- a/build/shared/lib/theme/Alloys/morito.txt +++ b/build/shared/lib/theme/Alloys/morito.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/omolon.txt b/build/shared/lib/theme/Alloys/omolon.txt index 391f2f6e2d..a545c5a82d 100644 --- a/build/shared/lib/theme/Alloys/omolon.txt +++ b/build/shared/lib/theme/Alloys/omolon.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/seymchan.txt b/build/shared/lib/theme/Alloys/seymchan.txt index 8624cb5ac0..3f2921107b 100644 --- a/build/shared/lib/theme/Alloys/seymchan.txt +++ b/build/shared/lib/theme/Alloys/seymchan.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/tagish.txt b/build/shared/lib/theme/Alloys/tagish.txt index 780c39f082..33797a665f 100644 --- a/build/shared/lib/theme/Alloys/tagish.txt +++ b/build/shared/lib/theme/Alloys/tagish.txt @@ -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 diff --git a/build/shared/lib/theme/Alloys/youxi.txt b/build/shared/lib/theme/Alloys/youxi.txt index b20264d2f0..10ee680a04 100644 --- a/build/shared/lib/theme/Alloys/youxi.txt +++ b/build/shared/lib/theme/Alloys/youxi.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/antimony.txt b/build/shared/lib/theme/Minerals/antimony.txt index fdd2f70e8f..67f9fb351e 100644 --- a/build/shared/lib/theme/Minerals/antimony.txt +++ b/build/shared/lib/theme/Minerals/antimony.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/bauxite.txt b/build/shared/lib/theme/Minerals/bauxite.txt index ed0e41ab33..102be61587 100644 --- a/build/shared/lib/theme/Minerals/bauxite.txt +++ b/build/shared/lib/theme/Minerals/bauxite.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/beryl.txt b/build/shared/lib/theme/Minerals/beryl.txt index 8e00681a4b..d332ee1483 100644 --- a/build/shared/lib/theme/Minerals/beryl.txt +++ b/build/shared/lib/theme/Minerals/beryl.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/calcite.txt b/build/shared/lib/theme/Minerals/calcite.txt index 3a7cd90c16..a48957eb79 100644 --- a/build/shared/lib/theme/Minerals/calcite.txt +++ b/build/shared/lib/theme/Minerals/calcite.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/feldspar.txt b/build/shared/lib/theme/Minerals/feldspar.txt index 3ea2392e21..11d2ee52c8 100644 --- a/build/shared/lib/theme/Minerals/feldspar.txt +++ b/build/shared/lib/theme/Minerals/feldspar.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/fluorite.txt b/build/shared/lib/theme/Minerals/fluorite.txt index d169c92c19..e354d22621 100644 --- a/build/shared/lib/theme/Minerals/fluorite.txt +++ b/build/shared/lib/theme/Minerals/fluorite.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/gabbro.txt b/build/shared/lib/theme/Minerals/gabbro.txt index 2961de644c..1c84a5719c 100644 --- a/build/shared/lib/theme/Minerals/gabbro.txt +++ b/build/shared/lib/theme/Minerals/gabbro.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/galena.txt b/build/shared/lib/theme/Minerals/galena.txt index 5bf35c161a..94d91edbd1 100644 --- a/build/shared/lib/theme/Minerals/galena.txt +++ b/build/shared/lib/theme/Minerals/galena.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/garnet.txt b/build/shared/lib/theme/Minerals/garnet.txt index 3fcf0d7d16..c7501bcff6 100644 --- a/build/shared/lib/theme/Minerals/garnet.txt +++ b/build/shared/lib/theme/Minerals/garnet.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/jasper.txt b/build/shared/lib/theme/Minerals/jasper.txt index f682815e8d..a32bcd8501 100644 --- a/build/shared/lib/theme/Minerals/jasper.txt +++ b/build/shared/lib/theme/Minerals/jasper.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/kyanite.txt b/build/shared/lib/theme/Minerals/kyanite.txt index 43c7782727..6cd8c76ac1 100644 --- a/build/shared/lib/theme/Minerals/kyanite.txt +++ b/build/shared/lib/theme/Minerals/kyanite.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/malachite.txt b/build/shared/lib/theme/Minerals/malachite.txt index 41f0e14136..3a4b6182d3 100644 --- a/build/shared/lib/theme/Minerals/malachite.txt +++ b/build/shared/lib/theme/Minerals/malachite.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/olivine.txt b/build/shared/lib/theme/Minerals/olivine.txt index afd08c8e2d..c5d711cbad 100644 --- a/build/shared/lib/theme/Minerals/olivine.txt +++ b/build/shared/lib/theme/Minerals/olivine.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/orpiment.txt b/build/shared/lib/theme/Minerals/orpiment.txt index d93f8d4289..a7f73cb784 100644 --- a/build/shared/lib/theme/Minerals/orpiment.txt +++ b/build/shared/lib/theme/Minerals/orpiment.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/pyrite.txt b/build/shared/lib/theme/Minerals/pyrite.txt index efc9d3fc8e..43bc2079e1 100644 --- a/build/shared/lib/theme/Minerals/pyrite.txt +++ b/build/shared/lib/theme/Minerals/pyrite.txt @@ -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 diff --git a/build/shared/lib/theme/Minerals/serandite.txt b/build/shared/lib/theme/Minerals/serandite.txt index 9abccd32c9..6f692fa6ab 100644 --- a/build/shared/lib/theme/Minerals/serandite.txt +++ b/build/shared/lib/theme/Minerals/serandite.txt @@ -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