mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-120245: Mark directory as "Generated Sources" is not available in plugin project
This commit is contained in:
+7
-1
@@ -42,7 +42,7 @@ public class MarkGeneratedSourceRootAction extends MarkRootActionBase {
|
||||
|
||||
@Override
|
||||
protected boolean isEnabled(@NotNull RootsSelection selection, @NotNull Module module) {
|
||||
if (!(ModuleType.get(module) instanceof JavaModuleType)) return false;
|
||||
if (!isJavaModule(module)) return false;
|
||||
|
||||
if (selection.myHaveSelectedFilesUnderSourceRoots) {
|
||||
return false;
|
||||
@@ -61,6 +61,12 @@ public class MarkGeneratedSourceRootAction extends MarkRootActionBase {
|
||||
return false;
|
||||
}
|
||||
|
||||
private static boolean isJavaModule(Module module) {
|
||||
ModuleType moduleType = ModuleType.get(module);
|
||||
//this additional check can be removed when we get rid of PluginModuleType
|
||||
return moduleType instanceof JavaModuleType || moduleType != null && "PLUGIN_MODULE".equals(moduleType.getId());
|
||||
}
|
||||
|
||||
@Override
|
||||
protected void modifyRoots(VirtualFile vFile, ContentEntry entry) {
|
||||
JavaSourceRootProperties properties = JpsJavaExtensionService.getInstance().createSourceRootProperties("", true);
|
||||
|
||||
Reference in New Issue
Block a user