PreferenceEditor 2018/08/20 soft222 ユーティリティ - utilitiesAndroidのPreferenceをADB経由で編集するための開発者向けツール ダウンロード