在 plugin_customization.ini 中找到 eclipse 设置名称进行设置

2022-01-16 00:00:00 eclipse-plugin eclipse