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


- Safepoint+stats 日志,输出 JDK12 中没有 vmop 操作 2022-01-01
- value & 是什么意思?0xff 在 Java 中做什么? 2022-01-01
- Spring Boot连接到使用仲裁器运行的MongoDB副本集 2022-01-01
- Java包名称中单词分隔符的约定是什么? 2022-01-01
- Jersey REST 客户端:发布多部分数据 2022-01-01
- C++ 和 Java 进程之间的共享内存 2022-01-01
- Eclipse 插件更新错误日志在哪里? 2022-01-01
- 将log4j 1.2配置转换为log4j 2配置 2022-01-01
- 从 finally 块返回时 Java 的奇怪行为 2022-01-01
- 如何使用WebFilter实现授权头检查 2022-01-01