mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 06:39:38 +07:00
Plugin option dependency should support EP registration
This commit is contained in:
@@ -540,6 +540,13 @@ public class IdeaPluginDescriptorImpl implements IdeaPluginDescriptor {
|
||||
myExtensions.addAll(descriptor.myExtensions);
|
||||
}
|
||||
|
||||
if (myExtensionsPoints == null) {
|
||||
myExtensionsPoints = descriptor.myExtensionsPoints;
|
||||
}
|
||||
else if (descriptor.myExtensionsPoints != null) {
|
||||
myExtensionsPoints.addAll(descriptor.myExtensionsPoints);
|
||||
}
|
||||
|
||||
if (myActionsElements == null) {
|
||||
myActionsElements = descriptor.myActionsElements;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user