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 /source/blender/editors | |
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 'source/blender/editors')
-rw-r--r-- | source/blender/editors/space_text/text_draw.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/source/blender/editors/space_text/text_draw.c b/source/blender/editors/space_text/text_draw.c index 678879018a7..ac1fb4af1c2 100644 --- a/source/blender/editors/space_text/text_draw.c +++ b/source/blender/editors/space_text/text_draw.c @@ -1665,12 +1665,14 @@ void draw_text_main(SpaceText *st, ARegion *ar) immBindBuiltinProgram(GPU_SHADER_2D_LINE_DASHED_UNIFORM_COLOR); + GPU_line_width(2.0f); + float viewport_size[4]; GPU_viewport_size_get_f(viewport_size); immUniform2f("viewport_size", viewport_size[2] / UI_DPI_FAC, viewport_size[3] / UI_DPI_FAC); - immUniform1i("colors_len", 0); /* "simple" mode */ - immUniformThemeColor(TH_GRID); /* same color as line number background */ + immUniform1i("colors_len", 0); /* "simple" mode */ + immUniformThemeColor3(TH_GRID); /* same color as line number background */ immUniform1f("dash_width", 2.0f); immUniform1f("dash_factor", 0.5f); |