Page MenuHome

Topbar not updating when active tool changes
Closed, ResolvedPublic

Description

System Information
Operating system: Linux-4.13.0-46-generic-x86_64-with-debian-stretch-sid 64 Bits
Graphics card: Quadro GP100/PCIe/SSE2 NVIDIA Corporation 4.5.0 NVIDIA 384.130

Blender Version
Broken: version: 2.80 (sub 64), branch: master, commit date: 2019-05-15 11:52, hash: rB630b08c9608d

Short description of error
When the active tool is changed by the user the topbar does not update. Only once the mouse starts hovering over the topbar or starts hovering over another editor does it update.