Hi!
Volume control isn't responsive/is laggy, when controlling the volume via mouse wheel or up/down arrows.
x) Windows 10 v1903 (Build 18362.175), latest updates
x) VLC v3.0.7.1
x) HP EliteBook 840 G5
This was fixed in a previous version, but has been re-introduced in the latest version.
If you need any additional info, please let me know.
Cheers,
naxa