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)
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

index 9c763c5..d1e2fa8 100644 (file)
@@ -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,
index 6788790..ac1fb4a 100644 (file)
@@ -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);