diff options
author | Campbell Barton <ideasman42@gmail.com> | 2017-11-02 15:52:03 +0300 |
---|---|---|
committer | Campbell Barton <ideasman42@gmail.com> | 2017-11-02 15:52:03 +0300 |
commit | 90788adb665ae0b011a0cbc668c3fcfd0cb5f24b (patch) | |
tree | 10b1e3fa4a09c23f037dd85ae33561ef7dd65435 /source/blender | |
parent | 75490adaff3cc199eba4f8eb7be121fa3f4d7c96 (diff) |
UI: workaround glitch refreshing the toolbar
Diffstat (limited to 'source/blender')
-rw-r--r-- | source/blender/windowmanager/intern/wm_operators.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/source/blender/windowmanager/intern/wm_operators.c b/source/blender/windowmanager/intern/wm_operators.c index 0783d364d48..814be6a1d32 100644 --- a/source/blender/windowmanager/intern/wm_operators.c +++ b/source/blender/windowmanager/intern/wm_operators.c @@ -1783,7 +1783,8 @@ static int wm_operator_tool_set_exec(bContext *C, wmOperator *op) WM_manipulator_group_type_ensure(workspace->tool.manipulator_group); } - ED_region_tag_redraw(CTX_wm_region(C)); + /* For some reason redraw fails with menus (even though 'ar' isn't the menu's region). */ + ED_area_tag_redraw(sa); return OPERATOR_FINISHED; } |