環境情報
- OS:Windows10 Creators Update
- Eclipse Oxygen
- Darkest Darkテーマ
- Darkest Darkテーマ・アイコン・デザイナー
それ以外にもプラグイン多数
問題
Eclipse でテーマを設定するpluginをインストールしている状況で、
テーマを利用しない にチェックを入れて、Eclipse再起動を行うと
再起動後に設定メニューが動かなくなる(設定項目を選んでも右側のペインに何も表示されない)
原因
ログ等も出力されていないようなので、原因は不明
直前に実施した操作が、上記であり、元に戻すことで復旧したことから
本件が、トリガーになっていることは確実。
ただし、追加しているプラグインの何が直接関係しているか断定はできていない。
テーマに関するプラグインについては、上記記載の通りであり、このプラグインに関する
設定や情報が、テーマを利用しないという設定に変えることにより悪さをして表示が
おかしくなっている可能性が高い。
対応
以下の設定ファイルに、テーマを利用しない というプロパティの値が書き込まれているので
falseを trueに戻すことで解決する(そもそも、テーマを利用しない 状態にできていないので
当初の要件は満たせていないが、復旧という意味ではこれで可能)
.metadata.plugins\org.eclipse.core.runtime.settings\org.eclipse.e4.ui.workbench.renderers.swt.prefs
eclipse.preferences.version=1
enableMRU=true
themeEnabled=false ⇒ true