Operating system: Windows-10-10.0.17763 64 Bits
Graphics card: GeForce RTX 2070/PCIe/SSE2 NVIDIA Corporation 4.5.0 NVIDIA 419.67
Broken: version: 2.80 (sub 75), branch: master, commit date: 2019-07-24 14:22, hash: rB507ffee6e1f4
Short description of error
World Editor Mapping Node does not update rendered view if another viewport is set to Look Dev Mode.
Exact steps for others to reproduce the error
When I rotate a HDRi image using Mapping Node, Blender does not update Rendered View Mode if another viewport is set to Look Dev Mode (EEVEE).
I've tried older versions of Blender and the is happens the same.