MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-01 11:20:44 +07:00
Code Issues Packages Projects Releases Wiki Activity

Infer more @Nullable/@NotNull annotations

Browse Source 
GitOrigin-RevId: df03db5a216d203959993053b780e30fe906518e
This commit is contained in:
Eugene Petrenko
2020-01-13 12:39:24 +00:00
committed by intellij-monorepo-bot
parent 9829bba113
commit c8abdf6f62
2 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/idea-ui/src/com/intellij/ide/util/projectWizard/JdkChooserPanel.java
+2
View File
@@ -286,6 +286,7 @@ public class JdkChooserPanel extends JPanel {
myList.addListSelectionListener(listener);
}
@Nullable
private static Sdk showDialog(final Project project, String title, final Component parent, Sdk jdkToSelect) {
final JdkChooserPanel jdkChooserPanel = new JdkChooserPanel(project);
jdkChooserPanel.fillList(null, null);
@@ -309,6 +310,7 @@ public class JdkChooserPanel extends JPanel {
return dialog.showAndGet() ? jdkChooserPanel.getChosenJdk() : null;
}
@Nullable
public static Sdk chooseAndSetJDK(@NotNull final Project project) {
final Sdk projectJdk = ProjectRootManager.getInstance(project).getProjectSdk();
final Sdk jdk = showDialog(project, ProjectBundle.message("module.libraries.target.jdk.select.title"), WindowManagerEx.getInstanceEx().getFrame(project), projectJdk);
platform/lang-impl/src/com/intellij/openapi/roots/ui/configuration/ProjectSettingsService.java
+1
View File
@@ -110,6 +110,7 @@ public class ProjectSettingsService {
public void showModuleConfigurationDialog(@Nullable String moduleToSelect, @Nullable String editorNameToSelect) {
}
@Nullable
public Sdk chooseAndSetSdk() {
return null;
}