開発者向けオプションは？

全然使いこなせていなかった（ほとんど見ただけだった）開発者向けオプションが、Android 4.2からなくなってしまったのかな？と思ったら、簡単に表示させる方法があるということなので、まねしてやってみました（笑）。ビルド番号を7回連続タップするだけということで、あっさり表示できました。以後は、消えることなく、いつでも設定から表示させることが出来ます。