diff options
author | Campbell Barton <ideasman42@gmail.com> | 2019-05-07 10:18:18 +0300 |
---|---|---|
committer | Campbell Barton <ideasman42@gmail.com> | 2019-05-07 10:18:18 +0300 |
commit | 3482aebf8d501a6cf63d95219d628cfb3041de76 (patch) | |
tree | 00a0966e4d1fee6261b320889d7d86d57dc970be /release/datafiles | |
parent | 73e7c9d58961ca54b616b7dcab1f01f7dbf11274 (diff) |
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.
Diffstat (limited to 'release/datafiles')
-rw-r--r-- | release/datafiles/userdef/userdef_default_theme.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/datafiles/userdef/userdef_default_theme.c b/release/datafiles/userdef/userdef_default_theme.c index 9c763c5b2a1..d1e2fa876d8 100644 --- a/release/datafiles/userdef/userdef_default_theme.c +++ b/release/datafiles/userdef/userdef_default_theme.c @@ -705,7 +705,7 @@ const bTheme U_theme_default = { }, .shade2 = RGBA(0x5680c2e6), .hilite = RGBA(0xff0000ff), - .grid = RGBA(0x313133ff), + .grid = RGBA(0x202020ff), .vertex_size = 3, .outline_width = 1, .facedot_size = 4, |