UI: workaround glitch refreshing the toolbar
authorCampbell Barton <ideasman42@gmail.com>
Thu, 2 Nov 2017 12:52:03 +0000 (23:52 +1100)
committerCampbell Barton <ideasman42@gmail.com>
Thu, 2 Nov 2017 12:52:03 +0000 (23:52 +1100)
source/blender/windowmanager/intern/wm_operators.c

index 0783d364d48b144b8fb0252e41fccf409d97027b..814be6a1d32360c3eaa8439d469e1c943391b267 100644 (file)
@@ -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;
 }