第一步:添加org.eclipse.ui.preferencePages扩展点,在该扩展点上添加一个Page页面,该页面就是要添加的首选项页面了
第二步:添加org.eclipse.core.runtime.prefrences扩展点,在该扩展点上添加一个initializer,用于初始化首选项值
第三步:通过**UIPlugin.getDefault().getPreferenceStore().get***()来获取首选项的值
第一步:添加org.eclipse.ui.preferencePages扩展点,在该扩展点上添加一个Page页面,该页面就是要添加的首选项页面了
第二步:添加org.eclipse.core.runtime.prefrences扩展点,在该扩展点上添加一个initializer,用于初始化首选项值
第三步:通过**UIPlugin.getDefault().getPreferenceStore().get***()来获取首选项的值