No Hide Navigation bar in settings but options shows if you search settings REDMI NOTE 5 (whyred)

No Hide Navigation bar in settings but options shows if you search settings REDMI NOTE 5 (whyred) //mokee-discourse.s3.dualstack.ap-northeast-1.amazonaws.com/optimized/2X/9/9f5c80f1a905e0eed68584433811d98ae98bc728_2_512x1024.png
none 5.0 1

Bug description:
noticed that when I search Navigation bar in settings I see an option to disable Nav bar but if you click on the search result, it’s not there in the settings. I manually checked too.

Affected version:
I saw it first in 8.1.0 2018-11-20 Whyred Rom version (Nightly) and the same problem in 2018-11-25 th current version I am using now.
Mandatory report format:

Steps to replicate:
Go to settings, in the search bar on top of settings type “nav” or “navigation”
You will see an option that says:
Disable Navigation bar…
Select it but the setting is not available inside
Settings.

该主题在最后一个回复创建后30天后自动关闭。不再允许新的回复。