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
.settingsfolder - Start your application, change the setting and then exit the application
- Compare the current
.settingsfolder 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 设置名称进行设置
基础教程推荐
- Struts2 URL 无法访问 2022-01-01
- 修改 void 函数的输入参数,然后读取 2022-01-01
- 存储 20 位数字的数据类型 2022-01-01
- 使用堆栈算法进行括号/括号匹配 2022-01-01
- 无法复制:“比较方法违反了它的一般约定!" 2022-01-01
- Spring AOP错误无法懒惰地为此建议构建thisJoinPoin 2022-09-13
- RabbitMQ:消息保持“未确认"; 2022-01-01
- 问题http://apache.org/xml/features/xinclude测试日志4j 2 2022-01-01
- REST Web 服务返回 415 - 不支持的媒体类型 2022-01-01
- 如何对 Java Hashmap 中的值求和 2022-01-01
