Top / Eclipse / プラグイン開発のTIPS集 / org.eclipse.ui.IWorkbenchPreferencePage(設定ページ)

org.eclipse.ui.IWorkbenchPreferencePage? はウィンドウ >> 設定 にある設定ダイアログを表すインターフェースです。実際はorg.eclipse.jface.preference.FieldEditorPreferencePage? をextendsして使うのが多いようです。

拡張ポイント

org.eclipse.ui.preferencePages

plugin.xmlのサンプル

<extension point="org.eclipse.ui.preferencePages">
 <page
   class="kino.plugin.samples.preferences.ExplorerPreferencePage"
   name="KinoExplorer設定"
   id="kino.plugin.samples.preferences.ExplorerPreferencePage"/>
</extension>

ポイント

使い方は

設定した値へのアクセス方法は、設定値を用いたい箇所でそれぞれ、

String target = SamplePlugin.getDefault().getPreferenceStore()
               .getString(ExplorerPreferencePage.P_TARGET);

とすればよいようです。ながい。。

このままだと一度設定を開かないとデフォルト値が反映されないので、どこかでインスタンスを生成しておかないといけないのですが、そのフックメソッドはプラグインクラスにありました。AbstractUIPluginのサブクラスで、

protected void initializeDefaultPreferences(IPreferenceStore store) {
    ExplorerPreferencePage pref = new ExplorerPreferencePage();
    store = pref.getPreferenceStore();
    super.initializeDefaultPreferences(store);
}

としておけばOKです*1


この記事は

選択肢 投票
おもしろかった 0  
そうでもない 0  

Top / Eclipse / プラグイン開発のTIPS集 / org.eclipse.ui.IWorkbenchPreferencePage(設定ページ)

現在のアクセス:24154


*1 Eclipse3.0からdeprecatedみたいで、AbstractUIPlugin#initializeDefaultPluginPreferences?()を呼ぶ必要があるみたい。

トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS