環境設定ダイアログで特定の設定の設定キーを見つける方法

Question

デフォルトでは、値RSE UIをオフに設定する必要があります。

この値にプログラムでアクセスするだけで、見つけられません。

この値は、[ウィンドウ]> [設定]> [一般]> [起動とシャットダウン]の下にあります。

Answer 1

、単純なブルートフォースソリューション：

1. は、すべてのワークスペースの設定の完全な、深いコピー
2. 開始日食をファイルを作成します。あなたが手動で興味を持っていると
3. 日食出口が新しい設定を比較し、そのプロパティは、理想的には、ファイルがそのプロパティが含まれていた設定にあなたを伝える必要があることをあなたのコピーのもの

とファイル、そしてそれは、「プログラム的」という名前ですか。

この知識で、任意の種類のテキスト置換ツール（sedなど）を使用して、後でその設定ファイルを自動的に更新することができます。

Answer 2

Preferences SpyというEclipseプラグインがあります。

http://blog.vogella.com/2014/12/28/preferences-spy-for-eclipse-ide-and-rcp/

それはあなたがすべてまたは特定の好みの変化を記録することを可能にするビューを追加します。変更ごとに、影響を受けた設定ノード、プリファレンス名、古い値と新しい値が表示されます。

私にとっては、少なくとも特定の設定の設定キーを見つけることができました。