mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
UnknownSdkType - disallow creation by user
GitOrigin-RevId: cc9813e5b805b5e9d61e43c882ad5f2e6e6d453a
This commit is contained in:
committed by
intellij-monorepo-bot
parent
b9cd59380d
commit
b3f545dde8
@@ -83,4 +83,9 @@ public class UnknownSdkType extends SdkType{
|
||||
public Icon getIcon() {
|
||||
return AllIcons.Nodes.UnknownJdk;
|
||||
}
|
||||
|
||||
@Override
|
||||
public boolean allowCreationByUser() {
|
||||
return false;
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user