Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/eclipse/9.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Java Eclipse RCP首选项页面刷新问题_Java_Eclipse_Refresh_Preferences - Fatal编程技术网

Java Eclipse RCP首选项页面刷新问题

Java Eclipse RCP首选项页面刷新问题,java,eclipse,refresh,preferences,Java,Eclipse,Refresh,Preferences,我有一个类似的问题,但只是类似,我的问题不包括子页面 在首选项页面中,我有一个组合框字段编辑器,每个值都链接到另一个首选项页面。我对当前未选择的值隐藏首选项页面,以便仅显示当前选择的值的附加首选项页面 我将首选项页面隐藏在HashMap中,以便以后读取: PreferenceManager pm = PlatformUI.getWorkbench().getPreferenceManager() ; preferences.put(idPlugin, pm.remove(idPreference

我有一个类似的问题,但只是类似,我的问题不包括子页面

在首选项页面中,我有一个组合框字段编辑器,每个值都链接到另一个首选项页面。我对当前未选择的值隐藏首选项页面,以便仅显示当前选择的值的附加首选项页面

我将首选项页面隐藏在HashMap中,以便以后读取:

PreferenceManager pm = PlatformUI.getWorkbench().getPreferenceManager() ;
preferences.put(idPlugin, pm.remove(idPreferencesPage)) ;
将它们添加回:

IPreferenceNode node = preferences.get(idPlugin) ;
if (node != null)
{
    PreferenceManager pm = PlatformUI.getWorkbench().getPreferenceManager() ;
    pm.addToRoot(node);
    preferences.remove(idPlugin) ;
}
它几乎像一个符咒。页面会被删除,但添加回页面不会触发首选项对话框窗口的刷新,我需要尝试设置“类型筛选器文本”,并且此时会刷新首选项页面列表

有人知道一种强制刷新首选项对话框的方法,而不必关闭/打开它,或过滤/删除过滤器来刷新吗