mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-28 17:09:38 +07:00
Yann Cébronandintellij-monorepo-bot
9025db527f
GitOrigin-RevId: 270a0cfde5c0e5f948be42da12e9b94ca1c69c22
11 lines
407 B
XML
11 lines
407 B
XML
<idea-plugin>
|
|
|
|
<extensionPoints>
|
|
<extensionPoint name="advancedSetting" beanClass="com.intellij.openapi.options.advanced.AdvancedSettingBean"/>
|
|
</extensionPoints>
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<advancedSetting id="my.advanced.setting.id" default="defaultValue"/>
|
|
<advancedSetting id="my.another.advanced.setting.id" default="defaultValue"/>
|
|
</extensions>
|
|
</idea-plugin> |