diff options
author | Campbell Barton <ideasman42@gmail.com> | 2011-10-20 04:48:00 +0400 |
---|---|---|
committer | Campbell Barton <ideasman42@gmail.com> | 2011-10-20 04:48:00 +0400 |
commit | 445279524a6c10fc09cd365a63fa9b69e364be83 (patch) | |
tree | 3097d3e39f13161a7fc807710a6ab687fcfd40f2 /source/blender/editors/space_text | |
parent | 4512f10db981bdd9083bd6763fc993f2a162ac53 (diff) |
debug build option WITH_PYTHON_UI_INFO, so you can right click and edit the python source for UI layout directly.
Diffstat (limited to 'source/blender/editors/space_text')
-rw-r--r-- | source/blender/editors/space_text/space_text.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/source/blender/editors/space_text/space_text.c b/source/blender/editors/space_text/space_text.c index 47f051e1ec4..51f4f1e579c 100644 --- a/source/blender/editors/space_text/space_text.c +++ b/source/blender/editors/space_text/space_text.c @@ -136,7 +136,12 @@ static void text_listener(ScrArea *sa, wmNotifier *wmn) switch(wmn->data) { case ND_DISPLAY: + ED_area_tag_redraw(sa); + break; case ND_CURSOR: + if(st->text && st->text == wmn->reference) + text_scroll_to_cursor(st, sa); + ED_area_tag_redraw(sa); break; } |