MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-21 05:51:25 +07:00
Code Issues Packages Projects Releases Wiki Activity

[devkit] <idea-plugin@require-restart> support

Browse Source 
GitOrigin-RevId: 5813e6f5844447046f86de87a668790de7898023
This commit is contained in:
Yann Cébron
2020-05-11 14:35:56 +02:00
committed by intellij-monorepo-bot
parent 59c0c9c8f4
commit e3bd504aba
2 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
plugins/devkit/devkit-core/src/dom/IdeaPlugin.java
View File

@@ -52,6 +52,9 @@ public interface IdeaPlugin extends DomElement {
@NotNull
GenericAttributeValue<Boolean> getImplementationDetail();
@NotNull
GenericAttributeValue<Boolean> getRequireRestart();
@NotNull
@Stubbed
@Required(false)

2
plugins/devkit/devkit-java-tests/testData/codeInsight/pluginWithModules.xml
View File

@@ -1,4 +1,4 @@
<idea-plugin>
<idea-plugin require-restart="true">
<id>com.intellij</id>
<name>IDEA CORE</name>
<vendor>JetBrains</vendor>