Theme: set dark grey for line number background
authorCampbell Barton <ideasman42@gmail.com>
Tue, 7 May 2019 07:18:18 +0000 (17:18 +1000)
committerCampbell Barton <ideasman42@gmail.com>
Tue, 7 May 2019 07:18:18 +0000 (17:18 +1000)
commit3482aebf8d501a6cf63d95219d628cfb3041de76
tree00a0966e4d1fee6261b320889d7d86d57dc970be
parent73e7c9d58961ca54b616b7dcab1f01f7dbf11274
Theme: set dark grey for line number background

This color is also used for the right margin,
so use a color that contrasts with the background.

Also use 2x width line.
release/datafiles/userdef/userdef_default_theme.c
source/blender/editors/space_text/text_draw.c