05c6446c38
The playhead is redrawn as an overlay, so instead of a full region redraw using `ARegionType.draw()`, at least an overlay only redraw using `ARegion.draw_overlay()` needs to be triggered. Any redrawing within a window is skipped if neither the screen, nor any of its areas or regions are tagged for redraw. So since there are no other areas or regions to be fully redrawn in this window, no redrawing will happen. The screen needs to be tagged for redraw, which will skip most drawing in this case, and just draw the overlays as wanted. Pull Request: https://projects.blender.org/blender/blender/pulls/134579
Blender
Blender is the free and open source 3D creation suite. It supports the entirety of the 3D pipeline-modeling, rigging, animation, simulation, rendering, compositing, motion tracking and video editing.
Project Pages
Development
License
Blender as a whole is licensed under the GNU General Public License, Version 3. Individual files may have a different, but compatible license.
See blender.org/about/license for details.