As part of the big bug review for 16.04 LTS I have tested this on 15.10 and the bug is still there. I usually work around it by changing the HUD key combination to <alt>+<z>, but this might not work for someone who uses the HUD extensively (I do not).
As part of the big bug review for 16.04 LTS I have tested this on 15.10 and the bug is still there. I usually work around it by changing the HUD key combination to <alt>+<z>, but this might not work for someone who uses the HUD extensively (I do not).