Operating system: Windows-10-10.0.17134 64 Bits
Graphics card: GeForce GTX 970/PCIe/SSE2 NVIDIA Corporation 4.5.0 NVIDIA 430.86
Broken: version: 2.80 (sub 74), branch: master, commit date: 2019-07-03 22:34, hash: rBc252fe7a32ab
Short description of error
Calling Brush Color Flip from keyboard shortcut (X) does not update the color in color picker panel.
Exact steps for others to reproduce the error
Open Image Editor and set to Paint Mode.
Make New Image.
Draw some image with draw tool.
Call Brush Color Flip from keybord shortcut (X).
Brush Color is flipped, but color in Color Picker Panel is not updated immediately.
As shown in GIF animation image uploaded above.
(Any stroke or hovering mouse on the panel update it)