mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 06:01:00 +07:00
refine message GitOrigin-RevId: acea3e8ac6292e07589ec219787aeb5cba752495
14 lines
394 B
XML
14 lines
394 B
XML
<idea-plugin>
|
|
|
|
<id>com.intellij</id>
|
|
|
|
<extensionPoints>
|
|
<extensionPoint name="statusBarWidgetFactory"/>
|
|
</extensionPoints>
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<<warning descr="Define 'id' attribute matching 'StatusBarWidgetFactory.getId()' implementation">statusBarWidgetFactory</warning> />
|
|
|
|
<statusBarWidgetFactory id="validId"/>
|
|
</extensions>
|
|
</idea-plugin> |