Operating system: Windows-10-10.0.17134 64 Bits
Graphics card: GeForce GTX 960/PCIe/SSE2 NVIDIA Corporation 4.5.0 NVIDIA 430.64
Broken: version: 2.80 (sub 64), branch: master, commit date: 2019-05-15 23:47, hash: rB02a7e57d9c07
Short description of error
there is no entry in one of the menus for the preferences
Exact steps for others to reproduce the error
I can search for the preferences and open them with "Screen: Show Preferences", but there isn't an entry for the preferences in any of the menus.