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 设置名称进行设置


基础教程推荐
- 从 python 访问 JVM 2022-01-01
- Java Swing计时器未清除 2022-01-01
- 不推荐使用 Api 注释的描述 2022-01-01
- Java 实例变量在两个语句中声明和初始化 2022-01-01
- 在 Java 中创建日期的正确方法是什么? 2022-01-01
- 如何在 Spring @Value 注解中正确指定默认值? 2022-01-01
- 如何在 JFrame 中覆盖 windowsClosing 事件 2022-01-01
- 验证是否调用了所有 getter 方法 2022-01-01
- 大摇大摆的枚举 2022-01-01
- 多个组件的复杂布局 2022-01-01