我正在使用一个小型 JFace 首选项存储，我可以在其中直接添加首选项，但是当我想删除已放入的首选项之一时遇到麻烦。
我在 API 中看不到任何允许删除的内容。这样做的正确方法是什么？
最佳答案
假设您正在使用 IPreferenceStore，您可以调用 setToDefault("pref id") 将首选项重置为其默认值。
关于java - JFace - 如何删除首选项属性？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/45754708/