Peut-être que vous venez de commander un Nexus 4 ou un Nexus 10, ou peut-être que vous venez de mettre à jour votre appareil Nexus (parmi d'autres appareils Android rootés) vers Android 4.2. Dans les deux cas, vous remarquerez probablement que les options pour les développeurs ne figurent pas dans votre menu Paramètres. Pour une raison quelconque, Google a décidé de masquer l'élément Options de développeur dans la dernière version d'Android. Comme Android Central a posté il y a quelques jours, vous pouvez facilement déverrouiller la liste des options pour les développeurs et la restaurer à sa place.

• Tout d'abord, vous devez ouvrir l'application Paramètres et faire défiler l'écran vers le bas. Une fois que vous y êtes arrivé, appuyez sur À propos du téléphone.

• Faites défiler à nouveau vers le bas, cette fois jusqu'à ce que vous voyez l'entrée Numéro de construction. Maintenant, appuyez sur Construire le numéro un total de sept fois. Vous verrez des messages de développement conviviaux commençant par le quatrième tapotement. Après le septième, un message vous félicitant d’avoir déverrouillé les options de développement.

• Retournez au menu Paramètres. Effectivement, il existe des options pour les développeurs, là où vous l'avez laissé, ou Google.

Les options de développeur sont destinées à être utilisées et utilisées strictement par les développeurs, mais pour les utilisateurs d'Android qui rootent et bricolent leurs appareils, il est indispensable d'accéder à ce menu. Avec quelques robinets, vous serez de retour dans les affaires en un rien de temps.