Find eclipse setting name to set it in plugin_customization.ini(在 plugin_customization.ini 中找到 eclipse 设置名称进行设置)
问题描述
I want to add some default values for an eclipse plugin delivered as a whole eclipse product through plugin_customization.ini
.
If I want by default to have the Build automatically
disabled, I write in plugin_customization.ini
the folowing line:
org.eclipse.core.resources/description.autobuilding=false
How can I find the org.eclipse..../.../
setting name for disabling the spell checking for example? What about any other setting?
The settings are stored in .pref
files in the workspace subdirectory .metadata/.plugins/org.eclipse.core.runtime/.settings
:
- Before starting your application make a copy of the
.settings
folder - Start your application, change the setting and then exit the application
- Compare the current
.settings
folder with the copied from step 1
In your case, disabling spelling will add the line spellingEnabled=false
to org.eclipse.ui.editors.prefs
, so the line for plugin_customization.ini
you are looking for is org.eclipse.ui.editors/spellingEnabled=false
.
这篇关于在 plugin_customization.ini 中找到 eclipse 设置名称进行设置的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持编程学习网!
本文标题为:在 plugin_customization.ini 中找到 eclipse 设置名称进行设置
基础教程推荐
- 在 Libgdx 中处理屏幕的正确方法 2022-01-01
- “未找到匹配项"使用 matcher 的 group 方法时 2022-01-01
- 减少 JVM 暂停时间 >1 秒使用 UseConcMarkSweepGC 2022-01-01
- Java Keytool 导入证书后出错,"keytool error: java.io.FileNotFoundException &拒绝访问" 2022-01-01
- 如何使用 Java 创建 X509 证书? 2022-01-01
- 设置 bean 时出现 Nullpointerexception 2022-01-01
- Java:带有char数组的println给出乱码 2022-01-01
- FirebaseListAdapter 不推送聊天应用程序的单个项目 - Firebase-Ui 3.1 2022-01-01
- 降序排序:Java Map 2022-01-01
- 无法使用修饰符“public final"访问 java.util.Ha 2022-01-01