Make sure the development settings is visible in the main the Settings menu

This is needed since we may have just turned off dev settings and want to
turn it on again

Change-Id: I36b2f5d5a5214a02c6f04a1413ec61f8d9392f1d