diff options
author | Campbell Barton <ideasman42@gmail.com> | 2015-11-10 01:19:34 +0300 |
---|---|---|
committer | Campbell Barton <ideasman42@gmail.com> | 2015-11-10 01:19:34 +0300 |
commit | ee761ebda95e00f99574a08df8b763401aba0070 (patch) | |
tree | c8de3bf6bb1302aec38fa9a7f0c1c032585c3a41 /source/blender/editors/space_text | |
parent | 39497bbb4833888b020ffbb91809f77e6f99c5f2 (diff) |
Text Editor: use line-number color for margin
also use stipple so you can see the cursor behind it.
Diffstat (limited to 'source/blender/editors/space_text')
-rw-r--r-- | source/blender/editors/space_text/text_draw.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/source/blender/editors/space_text/text_draw.c b/source/blender/editors/space_text/text_draw.c index 462b619f497..9bcaf04e520 100644 --- a/source/blender/editors/space_text/text_draw.c +++ b/source/blender/editors/space_text/text_draw.c @@ -47,6 +47,7 @@ #include "ED_text.h" #include "BIF_gl.h" +#include "BIF_glutil.h" #include "UI_interface.h" #include "UI_resources.h" @@ -1433,15 +1434,18 @@ void draw_text_main(SpaceText *st, ARegion *ar) } if (st->flags & ST_SHOW_MARGIN) { - UI_ThemeColor(TH_HILITE); - margin_column_x = x + st->cwidth * (st->margin_column - st->left); if (margin_column_x >= x) { + /* same color as line number background */ + UI_ThemeColor(TH_GRID); + + setlinestyle(1); glBegin(GL_LINES); glVertex2i(margin_column_x, 0); glVertex2i(margin_column_x, ar->winy - 2); glEnd(); + setlinestyle(0); } } |